Require at least one argument to κ-app

shingarov · Oct 17, 2024 · 6187ebe · 6187ebe
1 parent 93bbda1
commit 6187ebe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Refinements-Parsing/NNFParser.class.st b/src/Refinements-Parsing/NNFParser.class.st
@@ -167,7 +167,7 @@ NNFParser >> kappa [
 { #category : #grammar }
 NNFParser >> kappaApp [
 	^(kappa,
-	((#blank asParser plus), tok ==> [:x| x second]) star) trim
+	((#blank asParser plus), tok ==> [:x| x second]) plus) trim
 	==> [ :x | RefVarApp var: x first args: x second ]
 ]