diff options
| author | Hugo Herbelin | 2016-01-20 22:41:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-20 22:41:43 +0100 |
| commit | 3ad653b53ccbf2feb7807b4618dc9a455e9df877 (patch) | |
| tree | c87d4cc882bf692c4b29e02fc069b55ea41dccae /kernel | |
| parent | e28be21112c174a4c1a84d45a50745f0ad4e646a (diff) | |
Code simplification in elim.ml.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions