# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1260041684 18000
# Node ID 86b831978b8d8ba0ef9f1e694ec78e4a758d68d7
# Parent  eaba663fd6aa194c46b7ef45b5ceef33284f3164
Recursive hnormSgn for projections of signatures from modules

diff -r eaba663fd6aa -r 86b831978b8d src/elab_env.sml
--- a/src/elab_env.sml	Sat Dec 05 14:01:34 2009 -0500
+++ b/src/elab_env.sml	Sat Dec 05 14:34:44 2009 -0500
@@ -1088,7 +1088,7 @@
                                  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