From 555989e9f85be264de04cdeb21d982d2eb1b4826 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 5 Dec 2009 14:34:44 -0500
Subject: Recursive hnormSgn for projections of signatures from modules

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

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index 1bd4e059..4636fda8 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1088,7 +1088,7 @@ and hnormSgn env (all as (sgn, loc)) =
                                  sgn = sgn,
                                  field = x} of
                 NONE => raise Fail "ElabEnv.hnormSgn: projectSgn failed"
-              | SOME sgn => sgn
+              | SOME sgn => hnormSgn env sgn
         end
       | SgnWhere (sgn, x, c) =>
         case #1 (hnormSgn env sgn) of
-- 
cgit v1.2.3