From aa77afa9d828d0bbb5d6fd5faf2e971b515a19fd Mon Sep 17 00:00:00 2001
From: glondu
Date: Tue, 28 Oct 2008 18:43:16 +0000
Subject: Native "Declare ML Module" when possible

Dynlink.add_{interfaces,available_units} are deprecated and not
implemented natively. Currently, native "Declare ML Module" doesn't
work because of this. Dynlink-related should be switched to the API
introduced in OCaml 3.07.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11518 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coq.ml b/ide/coq.ml
index 2c8d7b8db1..2d8c2ff99a 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -79,7 +79,7 @@ let version () =
       ver date
       Coq_config.arch Sys.os_type
       (let x,y,z = GMain.Main.version in Printf.sprintf "%d.%d.%d" x y z)
-    (if Mltop.get () = Mltop.Native then "native" else "bytecode") 
+    (if Mltop.is_native then "native" else "bytecode") 
     (if Coq_config.best="opt" then "native" else "bytecode") 
 
 let is_in_coq_lib dir = 
-- 
cgit v1.2.3