From 6150d15647afc739329019f7e9de595187ecc282 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 9 May 2016 16:08:50 +0200
Subject: Removing the Entry module now that rules need not be marshalled.

---
 parsing/entry.ml | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 parsing/entry.ml

(limited to 'parsing/entry.ml')

diff --git a/parsing/entry.ml b/parsing/entry.ml
deleted file mode 100644
index b7c6c23fa6..0000000000
--- a/parsing/entry.ml
+++ /dev/null
@@ -1,30 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-
-open Errors
-open Util
-
-type 'a t = string
-
-(** Entries are registered with a unique name *)
-
-let entries = ref String.Set.empty
-
-let create name =
-  let () =
-    if String.Set.mem name !entries then
-    anomaly (Pp.str ("Entry " ^ name ^ " already defined"))
-  in
-  let () = entries := String.Set.add name !entries in
-  name
-
-let unsafe_of_name name =
-  assert (String.Set.mem name !entries);
-  name
-
-let repr s = s
-- 
cgit v1.2.3