diff options
| author | Pierre-Marie Pédrot | 2020-07-03 14:38:36 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-07-05 21:41:09 +0200 |
| commit | c6985ba89f59d7e510319d932a991ee832011181 (patch) | |
| tree | 2a35304ec6c6c8fa76911aad6825eb4c068422ad /pretyping/reductionops.ml | |
| parent | 9895f45b4895a321fc946eb64c17b1db5a78cda9 (diff) | |
Remove the last use of the Stack module in Tacred.
Diffstat (limited to 'pretyping/reductionops.ml')
0 files changed, 0 insertions, 0 deletions