From eb0db1dafc26f76f9d661d1794e17a86a1f70aa8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 27 Jul 2010 14:12:11 +0200
Subject: [PATCH] Call Modules.find_const

The exception is intercepted at the level of the
find_const that was redefined in Typing otherwise
---
 compiler/heptagon/analysis/typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml
index dc7032b..7a6a3de 100644
--- a/compiler/heptagon/analysis/typing.ml
+++ b/compiler/heptagon/analysis/typing.ml
@@ -449,7 +449,7 @@ and typing_static_exp const_env se =
     | Sfloat v -> Sfloat v, Tid Initial.pfloat
     | Svar ln ->
         (try (* this can be a global const*)
-           let { qualid = q; info = cd } = find_const ln in
+           let { qualid = q; info = cd } = Modules.find_const ln in
              Svar (Modname q), cd.Signature.c_type
          with Not_found -> (* or a static parameter *)
            (match ln with