From 17feed99d03fb59d1b7945baa98fe502421b6455 Mon Sep 17 00:00:00 2001
From: Boris Shingarov <shingarov@labware.com>
Date: Thu, 17 Oct 2024 02:52:50 -0400
Subject: [PATCH] =?UTF-8?q?Require=20at=20least=20one=20argument=20to=20?=
 =?UTF-8?q?=CE=BA-app?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/Refinements-Parsing/NNFParser.class.st | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Refinements-Parsing/NNFParser.class.st b/src/Refinements-Parsing/NNFParser.class.st
index 148aef178..1aaf90e60 100644
--- 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 ]
 ]