]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed escaping for sqlite
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:01:40 +0000 (10:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 19 Jul 2007 10:01:40 +0000 (10:01 +0000)
helm/software/components/library/libraryClean.ml

index 7a4168402c48875303acdaaa151a216845917631..a1f2a0cfc08fd356437b20a71dd7eea3d5220d48 100644 (file)
@@ -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