diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-02 19:30:38 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-02 19:30:38 +0200 |
| commit | 7c6a2298b7b74ead7e6cb7e16b44719e62618e95 (patch) | |
| tree | 1c14996d5eedfc7f87e1c21205a652083bd59a19 /tests/TrivialMatch.ml | |
| parent | 4e8d63ace93a06cb416618714408ae1c41223812 (diff) | |
Removed useless parentheses
Diffstat (limited to 'tests/TrivialMatch.ml')
0 files changed, 0 insertions, 0 deletions