Added simple_triggers test

creusot-rs · Aug 3, 2024 · 014875d · 014875d
1 parent dd5a55f
commit 014875d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/creusot/tests/should_succeed/simple_trigger.coma b/creusot/tests/should_succeed/simple_trigger.coma
@@ -22,7 +22,7 @@ module SimpleTrigger_Id_Impl
   )
 end
 module SimpleTrigger_Test
-  let%span ssimple_trigger0 = "../simple_trigger.rs" 14 10 14 20
+  let%span ssimple_trigger0 = "../simple_trigger.rs" 18 10 18 20
 
   let%span span1 = "../simple_trigger.rs" 7 11 7 17