diff options
| author | Alasdair Armstrong | 2017-09-21 16:17:35 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-21 16:17:35 +0100 |
| commit | e0b1f9a268a18128ab9e45e7ba5a2741a1dab143 (patch) | |
| tree | 876c63b20e4ea721a859a582eb908a0320610b5d /src/lem_interp/interp_lib.lem | |
| parent | 3d853e394b5bb5aa0862b56cfbb068aef8d2458a (diff) | |
Change NC_fixed to NC_equal to match NC_not_equal
also rename NC_nat_set_bounded to NC_set (it was an int set not a nat set anyway)
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
0 files changed, 0 insertions, 0 deletions