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/votour.ml | |
| parent | 7c044bd9b5bca4970f6a936d5b6d5484bcb79397 (diff) | |
Fixing representation of dynamics in votour (again).
Diffstat (limited to 'checker/votour.ml')
| -rw-r--r-- | checker/votour.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/votour.ml b/checker/votour.ml index d016b4563..f8d8f392a 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) |