File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -31,11 +31,11 @@ pub extern crate simplicity;
3131pub use simplicity:: elements;
3232
3333use crate :: debug:: DebugSymbols ;
34+ pub use crate :: error:: get_line_col;
3435use crate :: error:: { ErrorCollector , WithFile , WithFilePath } ;
3536use crate :: parse:: ParseFromStrWithErrors ;
3637pub use crate :: types:: ResolvedType ;
3738pub use crate :: value:: Value ;
38- pub use crate :: error:: get_line_col;
3939pub use crate :: warning:: { WarnCategory , Warning } ;
4040pub use crate :: witness:: { Arguments , Parameters , WitnessTypes , WitnessValues } ;
4141
Original file line number Diff line number Diff line change @@ -202,7 +202,11 @@ fn main() -> Result<(), Box<dyn std::error::Error>> {
202202 if n_warnings > 0 {
203203 if !output_json {
204204 eprint ! ( "{}" , template. format_warnings( prog_file) ) ;
205- let word = if n_warnings == 1 { "warning" } else { "warnings" } ;
205+ let word = if n_warnings == 1 {
206+ "warning"
207+ } else {
208+ "warnings"
209+ } ;
206210 eprintln ! (
207211 "\x1b [1;33mwarning\x1b [0m: `{}` generated {} {}" ,
208212 prog_file, n_warnings, word,
You can’t perform that action at this time.
0 commit comments