From 7d425434a70ed1eae2ef83ebff5adbbbeeaec099 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 1 Jun 2005 14:40:03 +0000
Subject: [PATCH] fix_escaping

---
 helm/matita/matitaDb.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index aef37a2d0..d4f5d01b1 100644
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -138,7 +138,8 @@ let remove_uri uri =
   [obj_tbl;sort_tbl;rel_tbl;name_tbl;(*conclno_tbl;conclno_hyp_tbl*)count_tbl];
   (* and now the debug job *)  
   let dbg_q = 
-    sprintf "SELECT source FROM %s WHERE h_occurrence LIKE '%s%%'" obj_tbl suri
+    sprintf "SELECT source FROM %s WHERE h_occurrence LIKE '%s%%'" obj_tbl
+    (Mysql.escape suri)
   in
   try 
     let rc = Mysql.exec dbd dbg_q in
-- 
2.39.2