diff options
| author | Théo Zimmermann | 2017-12-07 22:27:13 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2017-12-11 13:34:45 +0100 |
| commit | 84a655b14bfc886447da9abc5cf141ab87ae4bd7 (patch) | |
| tree | 02dd3c19830f4be763925b7131fe5277dec00ec7 /API/API.mli | |
| parent | a77f3a3e076e273af35ad520cae2eef0e3552811 (diff) | |
Remove deprecated option Dependent Propositions Eliminiation.
And a bit of code simplification.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions