diff options
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 |