summaryrefslogtreecommitdiff
path: root/src/expl.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/expl.sml')
-rw-r--r--src/expl.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expl.sml b/src/expl.sml
index 859e21ff..e293c36b 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -70,7 +70,7 @@ datatype con' =
withtype con = con' located
-datatype datatype_kind = datatype Elab.datatype_kind
+datatype datatype_kind = datatype DatatypeKind.datatype_kind
datatype patCon =
PConVar of int