From 2f2f19f2d1cd9fd580f8ec719a26473defabce8f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 6 Sep 2011 02:19:11 +0000
Subject: 	* interp/define.boot: Use DB for current constructor. 
 (mkCategoryPackage): Category defaults are packages, not domains. 	*
 interp/functor.boot (encodeFunctionName): Use current 	constructor DB.  First
 argument is now a DB.  Adjust caller. 	* algebra/domain.spad.pamphlet
 (DomainConstructo) [functorData]: 	Use getInfovec.

---
 src/algebra/domain.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra')

diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet
index 501d7b2a..dc9ea2f8 100644
--- a/src/algebra/domain.spad.pamphlet
+++ b/src/algebra/domain.spad.pamphlet
@@ -281,7 +281,7 @@ DomainConstructor(): Public == Private where
       ++ \spad{functorData x} returns the functor data associated
       ++ with the domain constructor \spad{x}.      
   Private == Constructor add
-    functorData x == %property(x,'infovec)$Foreign(Builtin)
+    functorData x == getInfovec(x)$Foreign(Builtin)
     coerce(x: %): Constructor == rep x
 
 @
-- 
cgit v1.2.3