From c4486dfda07b872d20746778df5c443b052b92b9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Thu, 9 Jul 2015 21:08:44 +0200
Subject: Native compiler: refactor code handling pre-computed values.

Fixes #4139 (Not_found exception with Require in modules).
---
 library/global.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/global.mli')

diff --git a/library/global.mli b/library/global.mli
index 248e1f86d..75a1ebee9 100644
--- a/library/global.mli
+++ b/library/global.mli
@@ -102,7 +102,7 @@ val export : ?except:Future.UUIDSet.t -> DirPath.t ->
   module_path * Safe_typing.compiled_library * Safe_typing.native_library
 val import :
   Safe_typing.compiled_library -> Univ.universe_context_set -> Safe_typing.vodigest ->
-  module_path * Nativecode.symbol array
+  module_path
 
 (** {6 Misc } *)
 
-- 
cgit v1.2.3