From db142590d8979dd5371092a8ad9be3bfac6a522a Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 7 Nov 2011 13:17:12 +0000
Subject: 	* interp/lisplib.boot (isDomainForm): Tidy.

---
 src/interp/lisplib.boot | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/interp')

diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot
index ac8c39e8..d591a840 100644
--- a/src/interp/lisplib.boot
+++ b/src/interp/lisplib.boot
@@ -705,6 +705,7 @@ isDomainForm(D,e) ==
   op := opOf D
   not ident? op => false
   op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args]
+  db := constructorDB db => dbAbbreviation db in '(domain package)
   symbolMember?(op,$SpecialDomainNames) or isFunctor op or
      ((getmode(op,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or
        isCategoryForm(getmode(op,e),e) or isDomainConstructorForm(D,e)
-- 
cgit v1.2.3