PR#4583: do not compare Lambda terms with =, use Lambda.same instead

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-08-01 12:52:14 +00:00 · 2008-08-01 12:52:14 +00:00 · 16b9465048
parent 7e9f606dee
commit 16b9465048
1 changed files with 1 additions and 1 deletions
--- a/asmcomp/closure.ml
+++ b/asmcomp/closure.ml
@ -767,7 +767,7 @@ and close_one_function fenv cenv id funct =

 and close_switch fenv cenv cases num_keys default =
  let index = Array.create num_keys 0
-  and store = mk_store Pervasives.(=) in
+  and store = mk_store Lambda.same in

  (* First default case *)
  begin match default with