EXP: make plateau constraint hold unconditionally under computation (#706)

lorenzogentile404 · web-flow · commit 93a55b0002a5 · 2025-07-25T16:01:42.000+02:00
diff --git a/exp/constraints.lisp b/exp/constraints.lisp
@@ -147,7 +147,7 @@
 ;;        constraints          ;;
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defconstraint   plateau-constraints (:perspective computation :guard IS_MODEXP_LOG)
+(defconstraint   plateau-constraints (:perspective computation)
                  (plateau-constraint CT PLT_BIT PLT_JMP))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
