From 73abbad1f955cf6be5883d1f5d940d03c1eaf3d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Tue, 19 Apr 2011 18:55:49 +0200
Subject: [PATCH] small java module fix

---
 compiler/obc/java/obc2java.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/obc/java/obc2java.ml b/compiler/obc/java/obc2java.ml
index 36c5549..163ef15 100644
--- a/compiler/obc/java/obc2java.ml
+++ b/compiler/obc/java/obc2java.ml
@@ -43,13 +43,14 @@ let fresh_for size body =
 
  (* current module is not translated to keep track,
     there is no issue since printed without the qualifier *)
-let rec translate_modul m = match m with
+let rec translate_modul m = m (*match m with
   | Pervasives
   | LocalModule -> m
   | _ when m = g_env.current_mod -> m
   | Module n ->  Module (String.lowercase n)
   | QualModule { qual = q; name = n} ->
       QualModule { qual = translate_modul q; name = String.lowercase n }
+*)
 
 (** a [Module.const] becomes a [module.CONSTANTES.CONST] *)
 let translate_const_name { qual = m; name = n } =