changeset 1058:86b831978b8d

Recursive hnormSgn for projections of signatures from modules
author Adam Chlipala <adamc@hcoop.net>
date Sat, 05 Dec 2009 14:34:44 -0500
parents eaba663fd6aa
children 03a81e26e5fe
files src/elab_env.sml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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