diff options
| author | Thomas Bauereiss | 2019-03-25 18:54:42 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-03-26 16:13:02 +0000 |
| commit | d9b592b89bd2c47622aa9dbcd0843936322322e3 (patch) | |
| tree | f6c9637c99be7a8bd69a63413e11e04c58935e20 /lib | |
| parent | a0aae7194dddab24d0c198d46b0e22fef04c2026 (diff) | |
Lem: Work around if-cascade indentation problem
Copied from Coq backend.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions