Clarify 'which rules' in signature generator

metaborg · Jan 25, 2021 · 714a9f1 · 714a9f1
1 parent 28ade9d
commit 714a9f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/source/langdev/meta/lang/statix/signature-generator.rst b/source/langdev/meta/lang/statix/signature-generator.rst
@@ -252,8 +252,8 @@ Build fails with an error such as this:
     Executing strj failed: {}
     BUILD FAILED
 
-You have declared a sort for which you don't have any rules. Remove the sort
-from the ``context-free sorts`` or ``sorts`` block.
+You have declared a sort for which you don't have any syntax rules.
+Remove the sort from the ``context-free sorts`` or ``sorts`` block.
 
 No pp entry found, cannot rewrite to box
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~