From: natile <??>
Date: Tue, 1 Oct 2002 17:07:37 +0000 (+0000)
Subject: Const without duplicates
X-Git-Tag: new_mathql_before_first_merge~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1570f4a7c086ee07ba0e3a1053e056b41a1bc4a7;p=helm.git

Const without duplicates
---

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