From c7ad8a2883e9cced3076b0c3a4f8749fa2285ada Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Thu, 20 Dec 2018 02:51:21 +0000
Subject: [PATCH] =?UTF-8?q?Chavetas=20m=C3=A1gicas?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 polymani.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/polymani.pl b/polymani.pl
index db44eca..de9a2ca 100644
--- a/polymani.pl
+++ b/polymani.pl
@@ -680,7 +680,7 @@ parse_polynomial_explicit(TLP-TL, T) -->
     %% on the left, through the difference structure,
     parse_polynomial_operand(TL),
     %% parse either a minus or a plus
-    member(COp, [-, +]),
+    { member(COp, [-, +]) },
     parse_operation(COp),
     !,
     %% Recurse on the right with add; position the sub tree on the right