kill a warning (and clean the code around)

... After sending a "yakafokon" email, let's start a code-cleanup session...




git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10666 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 5 deletions

diff --git a/contrib/fourier/fourierR.ml b/contrib/fourier/fourierR.ml
index d97e649701..8a3307f9d1 100644
--- a/contrib/fourier/fourierR.ml
+++ b/contrib/fourier/fourierR.ml
@@ -258,11 +258,11 @@ let fourier_lineq lineq1 =
    let nvar=ref (-1) in
    let hvar=Hashtbl.create 50 in (* la table des variables des inéquations *)
    List.iter (fun f ->
-               Hashtbl.iter (fun x c ->
-				 try (Hashtbl.find hvar x;())
-				 with _-> nvar:=(!nvar)+1;
-   				          Hashtbl.add hvar x (!nvar))
-                            f.hflin.fhom)
+		Hashtbl.iter (fun x _ -> if not (Hashtbl.mem hvar x) then begin
+				nvar:=(!nvar)+1; 
+				Hashtbl.add hvar x (!nvar)
+			      end)
+                  f.hflin.fhom)
              lineq1;
    let sys= List.map (fun h->
                let v=Array.create ((!nvar)+1) r0 in