diff --git a/tests/test_proof/good/output/enums.catala_en.Proof b/tests/test_proof/good/output/enums.catala_en.Proof
index 5e25281b..2b85d1ed 100644
--- a/tests/test_proof/good/output/enums.catala_en.Proof
+++ b/tests/test_proof/good/output/enums.catala_en.Proof
@@ -1,6 +1,4 @@
-[ERROR] The translation to Z3 failed:
-TODO
-[ERROR] The translation to Z3 failed:
-TODO
-[RESULT] A.y: no two exceptions to ever overlap for this variable
-[RESULT] A.y: this variable never returns an empty error
+[RESULT] [A.x] This variable never returns an empty error
+[RESULT] [A.x] No two exceptions to ever overlap for this variable
+[RESULT] [A.y] This variable never returns an empty error
+[RESULT] [A.y] No two exceptions to ever overlap for this variable