From 2d1de66e2c4cec3486d32094c99bf9ac48ee89c1 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 14 Dec 2011 04:13:22 +0000
Subject: fix misc

---
 src/interp/g-util.boot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index b8e32570..8c741420 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -340,7 +340,7 @@ isSubDomain(d1,d2) ==
 
   -- 4.  Otherwise, lookup in the super-domain chain.
   pred' := isSubDomain(sup,d2) => 
-    MKPF([pred',sublisFormal(args,pred,$AtVariables)],"AND")
+    ['%and,pred',sublisFormal(args,pred,$AtVariables)]
 
   -- 5.  Lot of smoke, no fire.
   false
-- 
cgit v1.2.3