summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/elab_env.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml
index 6516f7aa..3217669c 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1381,11 +1381,11 @@ fun projectCon env {sgn, str, field} =
else
NONE
| SgiClassAbs (x, _, k) => if x = field then
- SOME ((KArrow (k, (KType, #2 sgn)), #2 sgn), NONE)
+ SOME (k, NONE)
else
NONE
| SgiClass (x, _, k, c) => if x = field then
- SOME ((KArrow (k, (KType, #2 sgn)), #2 sgn), SOME c)
+ SOME (k, SOME c)
else
NONE
| _ => NONE) sgis of