From 014875dcee1b52037992129eef4893913971f39c Mon Sep 17 00:00:00 2001 From: dewert99 Date: Sat, 3 Aug 2024 10:20:39 -0700 Subject: [PATCH] Added simple_triggers test --- creusot/tests/should_succeed/simple_trigger.coma | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/creusot/tests/should_succeed/simple_trigger.coma b/creusot/tests/should_succeed/simple_trigger.coma index a4438753d5..62bb408c46 100644 --- 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