diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:02:47 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:02:47 -0500 |
commit | e7e2ffc58a4f120801ae69217032948e511af213 (patch) | |
tree | 347ed14f320df53657cab27568e54eac47107d22 /src/elab.sml | |
parent | 95beeda12defe36c4d4df42d3dee3bd753e19ff5 (diff) |
Elaborating files
Diffstat (limited to 'src/elab.sml')
-rw-r--r-- | src/elab.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elab.sml b/src/elab.sml index 3c339190..89d25c26 100644 --- a/src/elab.sml +++ b/src/elab.sml @@ -65,7 +65,7 @@ datatype con' = withtype con = con' located datatype decl' = - DCon of string * kind * con + DCon of string * int * kind * con withtype decl = decl' located |