diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-01-25 17:47:25 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-01-25 17:48:30 +0100 |
| commit | 765c6b15b76fd407a4d888d3f5e8cc532901045b (patch) | |
| tree | f9f003d053ffbf0e6cfa2f660d5b74441b551aaa /tactics/class_tactics.ml | |
| parent | c695e5adb3cb5492d412d933b1dd7901dc6676af (diff) | |
[checker] Remove duplicated function
Diffstat (limited to 'tactics/class_tactics.ml')
0 files changed, 0 insertions, 0 deletions