diff options
Diffstat (limited to 'stdlib/source/documentation/lux/control/parser/synthesis.lux')
-rw-r--r-- | stdlib/source/documentation/lux/control/parser/synthesis.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/documentation/lux/control/parser/synthesis.lux b/stdlib/source/documentation/lux/control/parser/synthesis.lux index 137d08ba1..40a73b496 100644 --- a/stdlib/source/documentation/lux/control/parser/synthesis.lux +++ b/stdlib/source/documentation/lux/control/parser/synthesis.lux @@ -27,7 +27,7 @@ (documentation: /.end? "Checks whether there are no more inputs.") -(template [<query> <assertion>] +(with_template [<query> <assertion>] [(`` (documentation: <query> (format "Queries for a " (~~ (template.text [<query>])) " synthesis node."))) (`` (documentation: <assertion> |