From 4d5c70b64b6585c9c227580660e97e36d4019c40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Mar 2012 22:10:23 +0000
Subject: [PATCH] fix operator handling (by UN).

---
 pl/utils.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pl/utils.yap b/pl/utils.yap
index 83306a5d3..46ff54fec 100644
--- a/pl/utils.yap
+++ b/pl/utils.yap
@@ -99,7 +99,7 @@
  '$check_op_name'(P,T,'|',G) :-
 	 (
 	  integer(P),
-	  P < 1001
+	  P < 1001, P > 0
 	 ;
 	  atom_codes(T,[_,_])
 	 ), !,