diff options
| author | Robert Norton | 2017-09-06 16:46:14 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-06 16:46:27 +0100 |
| commit | 5207f6f2c53c9661bb4087a65f46fe6c5a74a776 (patch) | |
| tree | d651d2cbe3fb25bc84e7540f281e8a996ceb80bb /src/rewriter.mli | |
| parent | 75022d46352525305b4c06b4988bf2df15f9f29e (diff) | |
power is builtin in old tc so use it.
Diffstat (limited to 'src/rewriter.mli')
0 files changed, 0 insertions, 0 deletions