From 35a9a244675754810cef790887106830bde051e8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 17 Nov 2011 15:22:44 +0100
Subject: [PATCH] Correct obc_mapfold

---
 compiler/obc/obc_mapfold.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/obc/obc_mapfold.ml b/compiler/obc/obc_mapfold.ml
index 718a51b..9c8e181 100644
--- a/compiler/obc/obc_mapfold.ml
+++ b/compiler/obc/obc_mapfold.ml
@@ -94,7 +94,9 @@ and extvalue funs acc w =
   let wd, acc = evdesc_it funs acc w.w_desc in
   { w with w_desc = wd; }, acc
 
-and evdesc_it funs acc wd = funs.evdesc funs acc wd
+and evdesc_it funs acc wd =
+  try funs.evdesc funs acc wd
+  with Fallback -> evdesc funs acc wd
 and evdesc funs acc wd = match wd with
   | Wvar x ->
       let x, acc = var_ident_it funs.global_funs acc x in