old-syntax typo

robsimmons · Dec 26, 2024 · 09b371d · 09b371d
1 parent 64f1523
commit 09b371d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/src/content/docs/docs/language/constraints.mdx b/docs/src/content/docs/docs/language/constraints.mdx
@@ -106,8 +106,8 @@ assignment by an [open rule](/docs/language/rules), but forbid that default assi
 accepting the solution only if an alternative value is derived.
 
 ```
-present 1 is { no? }.
-present 2 is { no? }.
+present 1 is? no.
+present 2 is? no.
 present 1 is yes :- <premises_1>.
 present 2 is yes :- <premises_2>.
 #forbid present _ is no.