From 3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Wed, 6 Jan 2016 23:25:26 -0800
Subject: Remove $insideCategoryIfTrue.  Replace with call to new function
 dbForCategory?

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

(limited to 'src/interp/compiler.boot')

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 4825382a..0ff039f3 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1697,7 +1697,7 @@ compColon([":",f,t],m,e) ==
   t:=
     t isnt [.,:.] and (t':= assoc(t,getDomainsInScope e)) => t'
     t = $Category and categoryInstance? f => t
-    isDomainForm(t,e) and not $insideCategoryIfTrue =>
+    not dbForCategory? db and isDomainForm(t,e) =>
       e := addDomain(db,t,e)
       t
     isDomainForm(t,e) or isCategoryForm(t,e) => t
-- 
cgit v1.2.3