theorems about sigma_p proved using sigma_p_gen

[helm.git] / components / whelp / whelp.ml

diff --git a/components/whelp/whelp.ml b/components/whelp/whelp.ml
index eb1f2b6301c239611b7fa88eb7021ffe78333612..4a863eba8ea50ac9c6880045067b48b7b7c34096 100644 (file)
--- a/components/whelp/whelp.ml
+++ b/components/whelp/whelp.ml
@@ -47,9 +47,11 @@ let locate ~(dbd:HSql.dbd) ?(vars = false) pat =
   let sql_pat = sqlpat_of_shellglob pat in
   let query =
         sprintf 
-          ("SELECT source FROM %s WHERE value LIKE \"%s\" ESCAPE \"\\\" "
-           ^^ "UNION " ^^
-           "SELECT source FROM %s WHERE value LIKE \"%s\" ESCAPE \"\\\" ")
+          ("SELECT source FROM %s WHERE value LIKE \"%s\" "
+           ^^ HSql.escape_string_for_like
+           ^^ " UNION " ^^
+           "SELECT source FROM %s WHERE value LIKE \"%s\" "
+           ^^ HSql.escape_string_for_like)
           (MetadataTypes.name_tbl ()) (escape sql_pat)
            MetadataTypes.library_name_tbl (escape sql_pat)
   in