]> matita.cs.unibo.it Git - helm.git/blobdiff - components/hmysql/hSqlite3.ml
Incompatible syntax problem between MySql e Sqlite3 fixed.
[helm.git] / components / hmysql / hSqlite3.ml
index da14a2f3fb6c5d79dfb09d00a178b03384fe7213..20e49451119fee9a5fca94f0db39a8f938124c47 100644 (file)
@@ -191,3 +191,5 @@ let errno = function
 ;;
 
 let isMysql = false
+
+let escape_string_for_like = ("ESCAPE \"\\\"" : ('a,'b,'c,'a) format4);;