From 8c59f1a464a446191f48358fe2484ec65ac0ef1c Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 30 Nov 2017 13:01:48 +0100
Subject: Add interfaces for checker and remove dead code.

---
 checker/values.ml | 19 -------------------
 1 file changed, 19 deletions(-)

(limited to 'checker/values.ml')

diff --git a/checker/values.ml b/checker/values.ml
index 5a371164c6..4698227ff0 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -372,22 +372,3 @@ let v_lib =
 let v_opaques = Array (v_computation v_constr)
 let v_univopaques =
   Opt (Tuple ("univopaques",[|Array (v_computation v_context_set);v_context_set;v_bool|]))
-
-(** Registering dynamic values *)
-
-module IntOrd =
-struct
-  type t = int
-  let compare (x : t) (y : t) = compare x y
-end
-
-module IntMap = Map.Make(IntOrd)
-
-let dyn_table : value IntMap.t ref = ref IntMap.empty
-
-let register_dyn name t =
-  dyn_table := IntMap.add name t !dyn_table
-
-let find_dyn name =
-  try IntMap.find name !dyn_table
-  with Not_found -> Any
-- 
cgit v1.2.3