Const without duplicates

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 688158faca551b87c1e8aa2fa3d663d75595c2a3..c28aa02a071ba028fde818eebeba1f0d7a300e78 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -329,7 +329,7 @@ and exec_boole_exp c = function
 and exec_val_exp c = function
    | MathQL.Const x -> let ol = List.sort compare x in 
                        let rec edup = function
-                          [] ->
+                          [] -> [] 
                         | s::tl -> if s = (List.tl tl) then edup tl
                                    else s::(edup tl)
                        in