summaryrefslogtreecommitdiff
path: root/src/elab.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 10:11:35 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-10 10:11:35 -0400
commit768dfadfe4717b0c3f7b207a4980c78288b44a93 (patch)
treed927ffb9ed326f5f978ef15d1157f99239fcfb0f /src/elab.sml
parentbaa7f87fc4cb1d22eed66ff41a61e9525e0477e2 (diff)
page declaration, up through monoize
Diffstat (limited to 'src/elab.sml')
-rw-r--r--src/elab.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/elab.sml b/src/elab.sml
index 9eb8ad2f..9fca4e13 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -115,6 +115,7 @@ datatype decl' =
| DStr of string * int * sgn * str
| DFfiStr of string * int * sgn
| DConstraint of con * con
+ | DPage of con * exp
and str' =
StrConst of decl list