]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mqint.ml
Db connection ok!
[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml
index af3298cce4493df4696656db34c72393934b6cf0..84b3522f26ea49e324bee03f04a847935b613f11 100644 (file)
@@ -322,7 +322,8 @@ and exec_boole_exp c = function
 (* valuta una MathQL.val_exp e ritorna un MathQL.value *)
 
 and exec_val_exp c = function
-   | MathQL.Const x -> let ol = List.sort compare x in 
+   | MathQL.Const x -> let
+   ol = List.sort compare x in 
                        let rec edup = function
                        
                           [] -> []