Add line number in comments for some functions (to support Mariposa's…

… Verus integration features) (#710)
verus-lang · Jul 27, 2023 · a76746c · a76746c
1 parent 67d8917
commit a76746c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/source/rust_verify/src/verifier.rs b/source/rust_verify/src/verifier.rs
@@ -610,6 +610,7 @@ impl Verifier {
         if commands.len() > 0 {
             air_context.blank_line();
             air_context.comment(comment);
+            air_context.comment(&span.as_string);
         }
         let desc = desc_prefix.unwrap_or("").to_string() + desc;
         for command in commands.iter() {
@@ -750,7 +751,6 @@ impl Verifier {
 
         // Write the span of spun-off query
         air_context.comment(&span.as_string);
-
         air_context.blank_line();
         air_context.comment("Fuel");
         for command in ctx.fuel().iter() {