diff options
Diffstat (limited to 'src/corify.sig')
-rw-r--r-- | src/corify.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sig b/src/corify.sig index 8cd197ce..0e1bb80d 100644 --- a/src/corify.sig +++ b/src/corify.sig @@ -27,6 +27,6 @@ signature CORIFY = sig - val corify : Elab.file -> Core.file + val corify : Expl.file -> Core.file end |