1 files changed, 7 insertions, 0 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml
index 47868e3c..b9ab587e 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -958,5 +958,12 @@ fun declBinds env (d, loc) =
         in
             pushENamedAs env x n t
         end
+      | DClass (x, n, c) =>
+        let
+            val k = (KArrow ((KType, loc), (KType, loc)), loc)
+            val env = pushCNamedAs env x n k (SOME c)
+        in
+            pushClass env n
+        end
 
 end