From 1be7e54fa70a40b16164f69e7153ada0e4935994 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 31 Oct 2009 15:51:50 -0400
Subject: Start of bidding implementation compiles

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

(limited to 'src/elaborate.sml')

diff --git a/src/elaborate.sml b/src/elaborate.sml
index b46c262e..f13f6f1d 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -3418,6 +3418,7 @@ and elabDecl (dAll as (d, loc), (env, denv, gs)) =
                     val denv' =
                         case #1 str' of
                             L'.StrConst _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
+                          | L'.StrApp _ => dopenConstraints (loc, env', denv) {str = x, strs = []}
                           | _ => denv
                 in
                     case #1 (hnormSgn env sgn') of
-- 
cgit v1.2.3