From db8c87ff078b8ea2e5926635c3847ad388fb9467 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Thu, 28 Apr 2011 09:01:54 +0200
Subject: [PATCH] Fix generation of bounds check expression

---
 compiler/main/mls2obc.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml
index 2856dff..c76dec9 100644
--- a/compiler/main/mls2obc.ml
+++ b/compiler/main/mls2obc.ml
@@ -92,6 +92,7 @@ let rec bound_check_expr idx_list bounds =
                                  [mk_exp_int (Econst (mk_static_int 0)); idx])) in
           mk_exp_bool (Eop (op_from_string "&", [e1;e2]))
   in
+    Format.printf "%d == %d@." (List.length idx_list) (List.length bounds);
   match (idx_list, bounds) with
     | [idx], n::_ -> mk_comp idx n
     | (idx :: idx_list, n :: bounds) ->