Mercurial > urweb

diff src/monoize.sig @ 764:7f653298dd66

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 1195f6e4d208
children 365727ff68f4
line wrap: on
line diff
--- a/src/monoize.sig	Thu Apr 30 16:25:27 2009 -0400
+++ b/src/monoize.sig	Thu Apr 30 17:15:14 2009 -0400
@@ -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