From b9048e5347c207b832d2bf2af022322025e59c08 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 24 Mar 2015 19:43:24 +0100
Subject: Fixing representation of dynamics in votour (again).

---
 checker/values.ml | 12 ++++++------
 checker/votour.ml |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/checker/values.ml b/checker/values.ml
index c986415070..2b375651b1 100644
--- a/checker/values.ml
+++ b/checker/values.ml
@@ -332,19 +332,19 @@ let v_univopaques =
 
 (** Registering dynamic values *)
 
-module StringOrd =
+module IntOrd =
 struct
-  type t = string
+  type t = int
   let compare (x : t) (y : t) = compare x y
 end
 
-module StringMap = Map.Make(StringOrd)
+module IntMap = Map.Make(IntOrd)
 
-let dyn_table : value StringMap.t ref = ref StringMap.empty
+let dyn_table : value IntMap.t ref = ref IntMap.empty
 
 let register_dyn name t =
-  dyn_table := StringMap.add name t !dyn_table
+  dyn_table := IntMap.add name t !dyn_table
 
 let find_dyn name =
-  try StringMap.find name !dyn_table
+  try IntMap.find name !dyn_table
   with Not_found -> Any
diff --git a/checker/votour.ml b/checker/votour.ml
index d016b45632..f8d8f392ac 100644
--- a/checker/votour.ml
+++ b/checker/votour.ml
@@ -12,7 +12,7 @@ open Values
 
 (** Name of a value *)
 
-type dyn = { dyn_tag : string; dyn_obj : Obj.t; }
+type dyn = { dyn_tag : int; dyn_obj : Obj.t; }
 
 let to_dyn obj = (Obj.magic obj : dyn)
 
-- 
cgit v1.2.3