We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f5b3bbb commit cee7070Copy full SHA for cee7070
1 file changed
redex-pict-lib/redex/private/pict.rkt
@@ -663,7 +663,7 @@
663
[(null? info)
664
(error what
665
(string-append
666
- "expected some non-terminals to render, but there were none\n"
+ "expected some non-terminals to have productions to render, but there were none\n"
667
" language's nts: ~a\n"
668
" requested nts: ~a")
669
(nts->str all-nts)
0 commit comments