From 793a442d240c22f99591388ad31e33fbaef96fb0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 11 Jun 2019 11:22:24 +0200
Subject: Move type definition Nativecode.symbols to Nativevalues

Preparing for it to be stored in an Environ.env.
---
 library/declaremods.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library')

diff --git a/library/declaremods.mli b/library/declaremods.mli
index 2b28ba908e..c35abae155 100644
--- a/library/declaremods.mli
+++ b/library/declaremods.mli
@@ -94,7 +94,7 @@ val register_library :
   Safe_typing.compiled_library -> library_objects -> Safe_typing.vodigest ->
   Univ.ContextSet.t -> unit
 
-val get_library_native_symbols : library_name -> Nativecode.symbols
+val get_library_native_symbols : library_name -> Nativevalues.symbols
 
 val start_library : library_name -> unit
 
-- 
cgit v1.2.3