diff --git a/creusot/tests/should_succeed/simple_trigger.coma b/creusot/tests/should_succeed/simple_trigger.coma
index a4438753d..62bb408c4 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