From: Enrico Tassi Date: Thu, 19 Jul 2007 10:01:40 +0000 (+0000) Subject: fixed escaping for sqlite X-Git-Tag: 0.4.95@7852~307 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dc9c722d837c1342798920762b2d0015b71b051f;p=helm.git fixed escaping for sqlite --- 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