From 1570f4a7c086ee07ba0e3a1053e056b41a1bc4a7 Mon Sep 17 00:00:00 2001
From: natile <??>
Date: Tue, 1 Oct 2002 17:07:37 +0000
Subject: [PATCH] Const without duplicates

---
 helm/ocaml/mathql_interpreter/mqint.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 688158fac..c28aa02a0 100644
--- 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
-- 
2.39.2