From ccaab728af7636a2ced9d76f465544cb9bd4202e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Wed, 25 Nov 2009 00:38:29 +0000
Subject: [PATCH] handle user operators as "prolog" operators.

---
 C/init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/C/init.c b/C/init.c
index 247e8ab88..4bc81d7a7 100644
--- a/C/init.c
+++ b/C/init.c
@@ -231,6 +231,8 @@ OpDec(int p, char *type, Atom a, Term m)
 
   if (m == TermProlog)
     m = PROLOG_MODULE;
+  else if (m == USER_MODULE)
+    m = PROLOG_MODULE;
   for (i = 1; i <= 7; ++i)
     if (strcmp(type, optypes[i]) == 0)
       break;