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