This repository was archived by the owner on May 17, 2024. It is now read-only.
Commit 53a159b
Sergey Vasilyev
Unhide the implemented methods for ordering & repring the arith-texts
This should have been caught by type checking, but we miss the latter yet (moving in that direction).1 parent 19d5bc3 commit 53a159b
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
177 | 177 | | |
178 | 178 | | |
179 | 179 | | |
180 | | - | |
| 180 | + | |
181 | 181 | | |
182 | 182 | | |
183 | 183 | | |
| |||
0 commit comments