From 2472b8ac50ca11c4dedfce6afc4de8a1efd70b8f Mon Sep 17 00:00:00 2001
From: Steven de Oliveira <de.oliveira.steven@gmail.com>
Date: Mon, 2 Oct 2023 12:18:26 +0200
Subject: [PATCH] Only 1 code for errors

---
 tools/gentest.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/gentest.ml b/tools/gentest.ml
index 46ddaf9dee..c7ced91e37 100644
--- a/tools/gentest.ml
+++ b/tools/gentest.ml
@@ -178,9 +178,9 @@ end = struct
           pp_output tst
     in
     let accepted_ae_exit_code =
-      if tst.params.ae_should_succeed then
-        "0"
-      else "(or 1 123 124 125 142)"
+      if tst.params.ae_should_succeed
+      then "0"
+      else "1"
     in
     Format.fprintf fmt "\
 @[<v 1>\