diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-24 19:43:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-24 19:43:24 +0100 |
| commit | b9048e5347c207b832d2bf2af022322025e59c08 (patch) | |
| tree | a58d67a54459bb0b8fcff51fece5c43eb6b3a86a /checker/values.ml | |
| parent | 7c044bd9b5bca4970f6a936d5b6d5484bcb79397 (diff) | |
Fixing representation of dynamics in votour (again).
Diffstat (limited to 'checker/values.ml')
| -rw-r--r-- | checker/values.ml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/checker/values.ml b/checker/values.ml index c98641507..2b375651b 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 |