summaryrefslogtreecommitdiff
path: root/src/core.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/core.sml')
-rw-r--r--src/core.sml4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core.sml b/src/core.sml
index 4572a8d9..fe969d18 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -80,8 +80,8 @@ withtype exp = exp' located
datatype decl' =
DCon of string * int * kind * con
- | DVal of string * int * con * exp
- | DPage of con * exp
+ | DVal of string * int * con * exp * string
+ | DExport of int
withtype decl = decl' located