1 files changed, 5 insertions, 0 deletions
diff --git a/src/elab_env.sml b/src/elab_env.sml
index edda9f38..f4f5d2cb 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -1075,6 +1075,11 @@ fun projectConstraints env {sgn, str} =
       | SgnError => SOME []
       | _ => NONE
 
+fun edeclBinds env (d, loc) =
+    case d of
+        EDVal (x, t, _) => pushERel env x t
+      | EDValRec vis => foldl (fn ((x, t, _), env) => pushERel env x t) env vis
+
 fun declBinds env (d, loc) =
     case d of
         DCon (x, n, k, c) => pushCNamedAs env x n k (SOME c)