From c4486dfda07b872d20746778df5c443b052b92b9 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
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).
---
 kernel/nativelibrary.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelibrary.mli')

diff --git a/kernel/nativelibrary.mli b/kernel/nativelibrary.mli
index a66fb715d9..29368d1408 100644
--- a/kernel/nativelibrary.mli
+++ b/kernel/nativelibrary.mli
@@ -14,4 +14,4 @@ open Nativecode
 compiler *)
 
 val dump_library : module_path -> dir_path -> env -> module_signature ->
-  global list * symbol array
+  global list * symbols
-- 
cgit v1.2.3