From f6f972eda48c04d11d8790ee24b038d8762ba34b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 2 Jan 2011 01:00:55 +0000
Subject: More cleanup

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

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

diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet
index 2ac22b9f..89d79936 100644
--- a/src/algebra/list.spad.pamphlet
+++ b/src/algebra/list.spad.pamphlet
@@ -270,7 +270,7 @@ List(S:Type): Exports == Implementation where
    IndexedList(S, LISTMININDEX) add
       import %nil: %                 from Foreign Builtin
       import %peq: (%,%) -> Boolean  from Foreign Builtin
-      import %makepair: (S,%) -> S   from Foreign Builtin
+      import %makepair: (S,%) -> %   from Foreign Builtin
 
       nil                      == %nil
       null l                   == %peq(l,%nil)
-- 
cgit v1.2.3