Fix loginfo guards (#238)

Consensys · Jun 12, 2024 · 54c1801 · 54c1801
1 parent f669653
commit 54c1801
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/loginfo/constraints.lisp b/loginfo/constraints.lisp
@@ -97,13 +97,13 @@
 ;;                           ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (defun (is-log0-to-log4)
-  (force-bool (+ (for k [0 : 4] [IS_LOG_X k]))))
+  (force-bool (reduce + (for k [0 : 4] [IS_LOG_X k]))))
 
 (defun (is-log1-to-log4)
-  (force-bool (+ (for k [1 : 4] [IS_LOG_X k]))))
+  (force-bool (reduce + (for k [1 : 4] [IS_LOG_X k]))))
 
 (defun (is-log2-to-log4)
-  (force-bool (+ (for k [2 : 4] [IS_LOG_X k]))))
+  (force-bool (reduce + (for k [2 : 4] [IS_LOG_X k]))))
 
 (defun (is-log3-to-log4)
   (force-bool (+ [IS_LOG_X 3] [IS_LOG_X 4])))