From 75e394770b534994830f6d80e649734275de5006 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 29 Mar 2020 18:02:46 +0200
Subject: Implement a name-based representation for vo files.

See CEP#44 for futher details.
---
 config/coq_config.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 6ed4bf9b8e..12856cb6e6 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -35,7 +35,7 @@ val caml_version : string    (* OCaml version used to compile Coq *)
 val caml_version_nums : int list    (* OCaml version used to compile Coq by components *)
 val date : string       (* release date *)
 val compile_date : string (* compile date *)
-val vo_magic_number : int
+val vo_version : int32
 val state_magic_number : int
 
 val all_src_dirs : string list
-- 
cgit v1.2.3