Mercurial > urweb

diff src/cjrize.sml @ 1446:36f7d1debb37

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Each context gets its own non-repeating sequence of source numbers
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Apr 2011 14:36:47 -0400
parents 02fc16faecf3
children 78e0d56b594e
line wrap: on
line diff
--- a/src/cjrize.sml	Mon Mar 28 10:37:49 2011 -0400
+++ b/src/cjrize.sml	Sat Apr 09 14:36:47 2011 -0400
@@ -161,7 +161,7 @@
                 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