From f47af837f76a49a6b8bcca24ea1a1e1fcfefab02 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 19 Oct 2008 15:47:47 -0400
Subject: Support for URL prefixes that works with local demo

---
 src/monoize.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/monoize.sig')

diff --git a/src/monoize.sig b/src/monoize.sig
index 838d7c4c..4e02e5ea 100644
--- a/src/monoize.sig
+++ b/src/monoize.sig
@@ -27,6 +27,8 @@
 
 signature MONOIZE = sig
 
+    val urlPrefix : string ref
+
     val monoize : CoreEnv.env -> Core.file -> Mono.file
 
     val liftExpInExp : int -> Mono.exp -> Mono.exp
-- 
cgit v1.2.3