X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIProperty.mli;h=d47fc34c455a32fd964ab0c11e34efc235d9ed98;hb=99bd3d38d021bb5c618883e8a484891f227082c3;hp=90ac3cba62d13c19ab54b4420f4d0ddb7a1f3344;hpb=f41a5585a648d57e4d8a24d664b0a5ce5d591148;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIProperty.mli b/helm/ocaml/mathql_interpreter/mQIProperty.mli
index 90ac3cba6..d47fc34c4 100644
--- a/helm/ocaml/mathql_interpreter/mQIProperty.mli
+++ b/helm/ocaml/mathql_interpreter/mQIProperty.mli
@@ -26,9 +26,9 @@
 open MathQL
 
 val postgres: refine -> path ->  
-              (bool * path * value) list -> (bool * path * value) list -> 
+              (bool * path * value) list -> (bool * path * value) list list -> 
 	      exp_list -> result
 
 val galax: refine -> path -> 
-           (bool * path * value) list -> (bool * path * value) list -> 
+           (bool * path * value) list -> (bool * path * value) list list -> 
 	   exp_list -> result