summaryrefslogtreecommitdiff
path: root/src/expl.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/expl.sml
parentbaa7f87fc4cb1d22eed66ff41a61e9525e0477e2 (diff)
page declaration, up through monoize
Diffstat (limited to 'src/expl.sml')
-rw-r--r--src/expl.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expl.sml b/src/expl.sml
index b3bcf96b..bf40a511 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -98,6 +98,7 @@ datatype decl' =
| DSgn of string * int * sgn
| DStr of string * int * sgn * str
| DFfiStr of string * int * sgn
+ | DPage of con * exp
and str' =
StrConst of decl list