From e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 30 Aug 2008 04:07:42 +0000
Subject: More explicit import

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

(limited to 'src/algebra/any.spad.pamphlet')

diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet
index 0854e8e4..7bc2d368 100644
--- a/src/algebra/any.spad.pamphlet
+++ b/src/algebra/any.spad.pamphlet
@@ -87,6 +87,7 @@ Maybe(T: CoercibleTo OutputForm): Public == Private where
 \section{package NONE1 NoneFunctions1}
 
 <<package NONE1 NoneFunctions1>>=
+import Type
 import None
 )abbrev package NONE1 NoneFunctions1
 ++ Author:
-- 
cgit v1.2.3