diff options
Diffstat (limited to 'src/scriptcheck.sig')
-rw-r--r-- | src/scriptcheck.sig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scriptcheck.sig b/src/scriptcheck.sig index bc9b6377..afb557b7 100644 --- a/src/scriptcheck.sig +++ b/src/scriptcheck.sig @@ -27,6 +27,6 @@ signature SCRIPT_CHECK = sig - val classify : Cjr.file -> Cjr.file + val classify : Mono.file -> Mono.file end |