1 files changed, 8 insertions, 2 deletions
diff --git a/Test/dafny0/Fuel.dfy.expect b/Test/dafny0/Fuel.dfy.expect
index 0c128941..275be237 100644
--- a/Test/dafny0/Fuel.dfy.expect
+++ b/Test/dafny0/Fuel.dfy.expect
@@ -1,3 +1,5 @@
+Fuel.dfy(129,8): Error: Fuel can only increase within a given scope.
+Fuel.dfy(407,8): Error: Fuel can only increase within a given scope.
 Fuel.dfy(17,22): Error: assertion violation
 Execution trace:
     (0,0): anon0
@@ -25,14 +27,17 @@ Execution trace:
 Fuel.dfy(129,38): Error: assertion violation
 Execution trace:
     (0,0): anon0
+    (0,0): anon7_Then
 Fuel.dfy(132,26): Error: assertion violation
 Execution trace:
     (0,0): anon0
-    (0,0): anon3_Then
+    Fuel.dfy(129,9): anon7_Else
+    (0,0): anon8_Then
 Fuel.dfy(133,26): Error: assertion violation
 Execution trace:
     (0,0): anon0
-    (0,0): anon3_Then
+    Fuel.dfy(129,9): anon7_Else
+    (0,0): anon8_Then
 Fuel.dfy(157,22): Error: assertion violation
 Execution trace:
     (0,0): anon0
@@ -91,6 +96,7 @@ Execution trace:
 Fuel.dfy(407,38): Error: assertion violation
 Execution trace:
     (0,0): anon0
+    (0,0): anon3_Then
 Fuel.dfy(435,22): Error: assertion violation
 Execution trace:
     (0,0): anon0