From 8621b524bb92dc143a5b4d88212b6516f645f0d3 Mon Sep 17 00:00:00 2001
From: hovanja2011 <A.Hovanskaya@zkfold.io>
Date: Thu, 7 Nov 2024 01:08:30 +0300
Subject: [PATCH] rangeConstraint changed

---
 .../ZkFold/Symbolic/Compiler/ArithmeticCircuit/Internal.hs    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/symbolic-base/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Internal.hs b/symbolic-base/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Internal.hs
index f8754db6d..b7a3e33a7 100644
--- a/symbolic-base/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Internal.hs
+++ b/symbolic-base/src/ZkFold/Symbolic/Compiler/ArithmeticCircuit/Internal.hs
@@ -205,8 +205,8 @@ instance
       in
         zoom #acSystem . modify $ insert (toVar @a p) (p evalConstVar)
 
-    rangeConstraint (SysVar v) l =
-      zoom #acRange . modify $ insert l $ S.singleton v
+    rangeConstraint (SysVar v) upperBound =
+      zoom #acRange . modify $ insertWith S.union upperBound (S.singleton v)
     -- FIXME range-constrain other variable types
     rangeConstraint _ _ = error "Cannot range-constrain this variable"