From 1469fd94659b3562ea7e3c180e0366194717a287 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 17:26:14 -0500
Subject: Added simple expression constructors to Elab

---
 src/elab_util.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab_util.sml')

diff --git a/src/elab_util.sml b/src/elab_util.sml
index 3b608710..ef0e740f 100644
--- a/src/elab_util.sml
+++ b/src/elab_util.sml
@@ -167,5 +167,6 @@ structure E = ElabEnv
 fun declBinds env (d, _) =
     case d of
         DCon (x, n, k, _) => E.pushCNamedAs env x n k
+      | DVal (x, n, t, _) => E.pushENamedAs env x n t
 
 end
-- 
cgit v1.2.3