diff options
author | 2017-11-23 10:34:25 +0100 | |
---|---|---|
committer | 2017-11-23 10:34:25 +0100 | |
commit | 7d541f25751838e1cde2a292a71afaa28879b753 (patch) | |
tree | 41138314af0177e64c0b443191b69cada1e28be0 /checker/typeops.mli | |
parent | e5b128c7d4c2fd28a4ad7c5df8e48d485cd703f3 (diff) |
Bypass int and string representation in votour when it's incorrect.
Diffstat (limited to 'checker/typeops.mli')
0 files changed, 0 insertions, 0 deletions