From dc9c722d837c1342798920762b2d0015b71b051f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 19 Jul 2007 10:01:40 +0000
Subject: [PATCH] fixed escaping for sqlite

---
 components/library/libraryClean.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/components/library/libraryClean.ml b/components/library/libraryClean.ml
index 7a4168402..a1f2a0cfc 100644
--- a/components/library/libraryClean.ml
+++ b/components/library/libraryClean.ml
@@ -102,7 +102,7 @@ let db_uris_of_baseuri buri =
   else
    begin
     sprintf ("SELECT source FROM %s WHERE " 
-      ^^ "REGEXP(source, '^%s[^/]*(#xpointer.*)?$')") obj_tbl buri
+      ^^ "REGEXP(source, '^%s[^/]*\\(#xpointer.*\\)?$')") obj_tbl buri
    end
  in
  try 
-- 
2.39.2