From b25211f8bdd3c17b9d56158a8c71712f2ed20f63 Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkallio@eka>
Date: Sat, 30 Apr 2011 23:26:08 -0530
Subject: Fix bug in projection of constructors from modules in class rules.

---
 src/elab_env.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index 3217669c..23f3df01 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1043,8 +1043,8 @@ fun sgnS_con' (m1, ms', (sgns, strs, cons)) =
     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 =>
-- 
cgit v1.2.3