changeset 1454:96353138f016

Fix bug in projection of constructors from modules in class rules.
author Karn Kallio <kkallio@eka>
date Sun, 01 May 2011 00:26:08 -0430 (2011-05-01)
parents 03642b83b57b
children 913d9c2f55c9
files src/elab_env.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/elab_env.sml	Tue Apr 26 00:11:21 2011 -0430
+++ b/src/elab_env.sml	Sun May 01 00:26:08 2011 -0430
@@ -1043,8 +1043,8 @@
     U.Con.map {kind = fn x => x,
                con = fn c =>
                         case c of
-                            CModProj (m1, ms, x) =>
-                            (case IM.find (strs, m1) of
+                            CModProj (m1', ms, x) =>
+                            (case IM.find (strs, m1') of
                                  NONE => c
                                | SOME m1x => CModProj (m1, ms' @ m1x :: ms, x))
                           | CNamed n =>