diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-11-23 10:34:25 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-11-23 10:34:25 +0100 |
| commit | 7d541f25751838e1cde2a292a71afaa28879b753 (patch) | |
| tree | 41138314af0177e64c0b443191b69cada1e28be0 /checker/typeops.ml | |
| parent | e5b128c7d4c2fd28a4ad7c5df8e48d485cd703f3 (diff) | |
Bypass int and string representation in votour when it's incorrect.
Diffstat (limited to 'checker/typeops.ml')
0 files changed, 0 insertions, 0 deletions