Mercurial > urweb

diff src/corify.sig @ 768:3b7e46790fa7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Path rewriting
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 13:23:07 -0400
parents 6fd102fa28f9
children
line wrap: on
line diff
--- a/src/corify.sig	Sat May 02 12:50:52 2009 -0400
+++ b/src/corify.sig	Sat May 02 13:23:07 2009 -0400
@@ -27,9 +27,6 @@
 
 signature CORIFY = sig
 
-    val restify : (string -> string) ref
-    (** Consulted to determine how to rewrite persistent paths *)
-
     val corify : Expl.file -> Core.file
 
 end