diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-05 14:34:44 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-05 14:34:44 -0500 |
| commit | 555989e9f85be264de04cdeb21d982d2eb1b4826 (patch) | |
| tree | 7152a432408de9ffafbc32510b0daf77ccadcca6 /src/elab_env.sml | |
| parent | 20fe6fd5bb27486a7f3483ead05061e967c5a105 (diff) | |
Recursive hnormSgn for projections of signatures from modules
Diffstat (limited to 'src/elab_env.sml')
| -rw-r--r-- | src/elab_env.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |