diff options
| author | Pierre-Marie Pédrot | 2017-09-06 23:46:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-06 23:46:41 +0200 |
| commit | d6997e31e7fc4cfc6e020bf1ab53e6b1fa3f74fe (patch) | |
| tree | 2245ee809915f3fa1aa1bb7d882b004c795abadc /src/tac2stdlib.ml | |
| parent | 64a6ac3759b5d0ea635ff284606541b05c696996 (diff) | |
Fix coq/ltac2#23: Int.compare should not be uniformly 0.
Stupid typo.
Diffstat (limited to 'src/tac2stdlib.ml')
0 files changed, 0 insertions, 0 deletions