diff options
Diffstat (limited to 'src/monoize.sig')
-rw-r--r-- | src/monoize.sig | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/monoize.sig b/src/monoize.sig index 4e02e5ea..838d7c4c 100644 --- a/src/monoize.sig +++ b/src/monoize.sig @@ -27,8 +27,6 @@ signature MONOIZE = sig - val urlPrefix : string ref - val monoize : CoreEnv.env -> Core.file -> Mono.file val liftExpInExp : int -> Mono.exp -> Mono.exp |