From e5bebaca4c0085e560366d3cf99fdd4dab247dea Mon Sep 17 00:00:00 2001 From: Lorenzo Gentile Date: Sat, 26 Jul 2025 15:01:49 +0200 Subject: [PATCH] Make plateau constraint consistent with spec in stdlib --- pkg/corset/stdlib.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkg/corset/stdlib.lisp b/pkg/corset/stdlib.lisp index 4ae59a4ce..883ea5650 100644 --- a/pkg/corset/stdlib.lisp +++ b/pkg/corset/stdlib.lisp @@ -107,7 +107,7 @@ (if (== CT 0) (vanishes! X) (if (== CT C) - (did-inc! X 1) + (== X 1) (remained-constant! X)))))) ;; stamp constancy imposes that the column C may only