X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=a1f2a0cfc08fd356437b20a71dd7eea3d5220d48;hb=6c2b6d916f0d84b00153c717e1c933895420af69;hp=7a4168402c48875303acdaaa151a216845917631;hpb=200fa06c06f05c3bcebb8055a3c7a25006e90100;p=helm.git

diff --git a/helm/software/components/library/libraryClean.ml b/helm/software/components/library/libraryClean.ml
index 7a4168402..a1f2a0cfc 100644
--- a/helm/software/components/library/libraryClean.ml
+++ b/helm/software/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