summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 12:56:39 -0400
commit3c2cf28f8c508355be291a3ce2ecc9bb571f97dd (patch)
tree080575b2de86cc12064fbcb794b8341d5de9313a /src/cjr.sml
parent46c36cb682c91bbfad52b35c68d8332757c2bbce (diff)
Cjr ready for dispatch code generation
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index a47c77fe..1aacfb60 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -61,6 +61,6 @@ datatype decl' =
withtype decl = decl' located
-type file = decl list * int list
+type file = decl list * (string * int) list
end