X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.ml;h=bbaeec0b58f7d41c854ca61c675246afdb499c6b;hb=856dc227c9781439a31d03f5b68d32a41db63ab9;hp=c67d11d15f655c6a38b6efea5dd9c12341b70b36;hpb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index c67d11d15..bbaeec0b5 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -125,14 +125,14 @@ let rec exec_set_exp c = function
 	if ! dbname = postgres_db then
         (let res = relation_ex rop path (exec_set_exp c sexp) attl in
 	 if ! stat then 
-	 (print_string ("RELATION " ^ (List.hd path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
+	 (print_string ("RELATION " ^ (fst path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
           print_endline (string_of_float (Sys.time() -. before) ^ "s");
           flush stdout);
          res)
 	else
         (let res = relation_galax_ex rop path (exec_set_exp c sexp) attl in
          if !stat then
-         (print_string ("RELATION-GALAX " ^ (List.hd path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
+         (print_string ("RELATION-GALAX " ^ (fst path) ^ " = " ^ string_of_int(List.length res) ^ ": ");
           print_endline (string_of_float (Sys.time() -. before) ^ "s");
           flush stdout);
          res)