From e74d442cc7732cee262921f3dd8cd42a882f75de Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 12 Nov 2014 15:50:37 +0100
Subject: Cleaner interfaces for linking locations of native compiler.

Stop sharing those references across constants of the same
module, which was triggering some bugs when using native_compute
in interactive mode in a functor declaration.
---
 kernel/modops.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/modops.mli')

diff --git a/kernel/modops.mli b/kernel/modops.mli
index c3f3f2d587..6a6e4282a2 100644
--- a/kernel/modops.mli
+++ b/kernel/modops.mli
@@ -50,7 +50,7 @@ val add_module : module_body -> env -> env
 
 (** same as add_module, but for a module whose native code has been linked by
 the native compiler. The linking information is updated. *)
-val add_linked_module : module_body -> Pre_env.link_info ref -> env -> env
+val add_linked_module : module_body -> Pre_env.link_info -> env -> env
 
 (** same, for a module type *)
 val add_module_type : module_path -> module_type_body -> env -> env
-- 
cgit v1.2.3