From 4ee0cedff7726a56ebd53125995a7ae131660b4a Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 18 Aug 2020 13:07:54 +0200
Subject: Rename VM-related kernel/cfoo files to kernel/vmfoo

---
 kernel/csymtable.mli | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 kernel/csymtable.mli

(limited to 'kernel/csymtable.mli')

diff --git a/kernel/csymtable.mli b/kernel/csymtable.mli
deleted file mode 100644
index e480bfcec1..0000000000
--- a/kernel/csymtable.mli
+++ /dev/null
@@ -1,22 +0,0 @@
-(************************************************************************)
-(*         *   The Coq Proof Assistant / The Coq Development Team       *)
-(*  v      *         Copyright INRIA, CNRS and contributors             *)
-(* <O___,, * (see version control and CREDITS file for authors & dates) *)
-(*   \VV/  **************************************************************)
-(*    //   *    This file is distributed under the terms of the         *)
-(*         *     GNU Lesser General Public License Version 2.1          *)
-(*         *     (see LICENSE file for the text of the license)         *)
-(************************************************************************)
-
-(* $Id$ *)
-
-open Names
-open Constr
-open Environ
-
-val val_of_constr : env -> constr -> Vmvalues.values
-
-val set_opaque_const      : Constant.t -> unit
-val set_transparent_const : Constant.t -> unit
-
-val get_global_data : unit -> Vmvalues.vm_global
-- 
cgit v1.2.3