From c631ae96bbe9d659a8b3dbb1fc0c7ac812c2d43f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 15 Nov 2018 15:13:06 +0000
Subject: ast_utils: simplify numeric constraints in inequalities.

---
 src/ast_util.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ast_util.ml b/src/ast_util.ml
index f0b6508b..71b3299a 100644
--- a/src/ast_util.ml
+++ b/src/ast_util.ml
@@ -296,7 +296,10 @@ let rec constraint_simp (NC_aux (nc_aux, l)) =
        | NC_aux (nc, _), NC_aux (NC_true, _) -> NC_true
        | _, _ -> NC_or (nc1, nc2)
        end
-
+    | NC_bounded_ge (nexp1, nexp2) ->
+       NC_bounded_ge (nexp_simp nexp1, nexp_simp nexp2)
+    | NC_bounded_le (nexp1, nexp2) ->
+       NC_bounded_le (nexp_simp nexp1, nexp_simp nexp2)
     | _ -> nc_aux
   in
   NC_aux (nc_aux, l)
-- 
cgit v1.2.3