update snapshots

HigherOrderCO · Apr 1, 2024 · dd6dc6c · dd6dc6c
1 parent 3c414ce
commit dd6dc6c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/tests/snapshots/[email protected] b/tests/snapshots/[email protected]
@@ -12,9 +12,9 @@ RWTS   :               0
 - DREF :               0
 - OPER :               0
 run:
-RWTS   :               8
+RWTS   :               7
 - ANNI :               2
 - COMM :               0
-- ERAS :               1
+- ERAS :               0
 - DREF :               5
 - OPER :               0
diff --git a/tests/snapshots/[email protected] b/tests/snapshots/[email protected]
@@ -4,9 +4,9 @@ expression: output
 input_file: tests/programs/log.hvmc
 ---
 #2
-RWTS   :               8
+RWTS   :               7
 - ANNI :               2
 - COMM :               0
-- ERAS :               1
+- ERAS :               0
 - DREF :               5
 - OPER :               0