diff options
| author | Vincent Laporte | 2019-10-28 12:52:51 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-31 21:51:09 +0000 |
| commit | 87e2bd27055db7827ab5d5a677e3c6fc876685c6 (patch) | |
| tree | 1298045a7a75af8014eb35a65862b44a3659538b /engine/termops.ml | |
| parent | 82461ff590360a1223fad69446b77f535d28b6b4 (diff) | |
lra: use “lia” rather than “omega”
Diffstat (limited to 'engine/termops.ml')
0 files changed, 0 insertions, 0 deletions