summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-31 15:51:50 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-31 15:51:50 -0400
commite8ec918ad64bb1008ca7a3184d3e647a62d28404 (patch)
tree83db5727103dd54a22787218cd8325e80059cc96 /src
parente6cdd060b73ad081dd3dab2e278b994e9442c6da (diff)
Start of bidding implementation compiles
Diffstat (limited to 'src')
-rw-r--r--src/elaborate.sml1
1 files changed, 1 insertions, 0 deletions
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