From afdd85e00a4cac3eaa8ec0055b42fda82aedc29e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pierre-Marie=20P=C3=A9drot?= <pierre-marie.pedrot@inria.fr>
Date: Thu, 27 Oct 2022 22:54:23 +0200
Subject: [PATCH] Move the Values module to an mli-only file.

---
 kernel/dune                      | 1 +
 kernel/{values.ml => values.mli} | 0
 2 files changed, 1 insertion(+)
 rename kernel/{values.ml => values.mli} (100%)

diff --git a/kernel/dune b/kernel/dune
index 8129fa876e..915c6d758c 100644
--- a/kernel/dune
+++ b/kernel/dune
@@ -3,6 +3,7 @@
  (synopsis "The Coq Kernel")
  (public_name coq-core.kernel)
  (wrapped false)
+ (modules_without_implementation values)
  (modules (:standard \ genOpcodeFiles uint63_31 uint63_63 float64_31 float64_63))
  (libraries boot lib coqrun dynlink))
 
diff --git a/kernel/values.ml b/kernel/values.mli
similarity index 100%
rename from kernel/values.ml
rename to kernel/values.mli
-- 
knotmirror 0.0.1