From a35414d32e6706044c01442d084134c95058ebc9 Mon Sep 17 00:00:00 2001
From: Sapan Bhatia <sapanb@cs.princeton.edu>
Date: Tue, 30 Sep 2008 14:50:05 +0000
Subject: [PATCH] Fixed a warning in the 4.2 branch.

---
 backend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backend.ml b/backend.ml
index 535c549..dead06d 100644
--- a/backend.ml
+++ b/backend.ml
@@ -41,7 +41,7 @@ class backendHandler dir_root (frontend_lst: frontendHandler list) =
 
      (** Regular expression that defines a legal script name. Filter out
        * temporary files using it *)
-     val file_regexp = Str.regexp "^[a-zA-Z][a-zA-Z0-9_\.\-]*$"
+     val file_regexp = Str.regexp "^[a-zA-Z][a-zA-Z0-9_'.''-']*$"
      val acl_file_regexp = Str.regexp ".*acl$"
 
      (** Somebody created a new directory *)
-- 
2.43.0