From d841334eede48c95e1cc72215ae7ac8e71742118 Mon Sep 17 00:00:00 2001
From: ewile <ewile@users.noreply.github.com>
Date: Thu, 20 Apr 2023 15:33:31 +0200
Subject: [PATCH] fix bug (is-not-zero ROOB)

---
 mxp/constraints.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mxp/constraints.lisp b/mxp/constraints.lisp
index ccd28404..93a10352 100644
--- a/mxp/constraints.lisp
+++ b/mxp/constraints.lisp
@@ -50,7 +50,7 @@
 (defconstraint roob-when-type-2-3 (:guard (+ [MXP_TYPE 2] [MXP_TYPE 3]))
   (if-zero OFFSET_1_HI
     (vanishes ROOB)
-    (is-not-zero ROOB)))
+    (= ROOB 1)))
 
 ;; 2.2.3
 (defconstraint roob-when-mem-4 (:guard [MXP_TYPE 4])