From 02108d2017198d945bc6b616cd40c5cee836e85b Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 12 Jan 2010 10:06:10 +0000
Subject: [PATCH] make it so that we always use the fixed op for |. Needs
 improement.

---
 C/parser.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/C/parser.c b/C/parser.c
index 3dff8c89f..ac6c72ed9 100644
--- a/C/parser.c
+++ b/C/parser.c
@@ -675,9 +675,8 @@ ParseTerm(int prio, JMPBUFF *FailBuff)
 	}  
 	curprio = 1000;
 	continue;
-      } else if (Unsigned(Yap_tokptr->TokInfo) == '|' &&
-		 IsInfixOp(AtomVBar, &opprio, &oplprio, &oprprio)
-		 && opprio <= prio && oplprio >= curprio) {
+      } else if (Unsigned(Yap_tokptr->TokInfo) == '|'  &&
+		 prio >= 1105 && curprio <= 1104) {
 	Volatile Term args[2];
 	NextToken;
 	args[0] = t;
@@ -688,7 +687,7 @@ ParseTerm(int prio, JMPBUFF *FailBuff)
 	  Yap_ErrorMessage = "Stack Overflow";
 	  FAIL;
 	}  
-	curprio = opprio;
+	curprio = 1105;
 	continue;
       }
     }