From 51b2033057b25f4cecd3d5e73dc49b60b532834e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 9 Apr 2011 14:36:47 -0400
Subject: Each context gets its own non-repeating sequence of source numbers

---
 src/cjrize.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/cjrize.sml')

diff --git a/src/cjrize.sml b/src/cjrize.sml
index 2c13e494..b48a4ebd 100644
--- a/src/cjrize.sml
+++ b/src/cjrize.sml
@@ -161,7 +161,7 @@ fun cifyTyp x =
                 in
                     ((L'.TList (t', si), loc), sm)
                 end
-              | L.TSource => ((L'.TFfi ("Basis", "int"), loc), sm)
+              | L.TSource => ((L'.TFfi ("Basis", "source"), loc), sm)
               | L.TSignal _ => raise Fail "Cjrize: TSignal remains"
     in
         cify IM.empty x
-- 
cgit v1.2.3