rangeConstraint changed

zkFold · Nov 6, 2024 · 8621b52 · 8621b52
1 parent 8ae6bac
commit 8621b52
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"