Remove set_trace on var_eq_old
Open
help wanted
refactoring
- Dominant language
- Standard ML
- Stars
- 1.2k
- Forks
- 104
- Avg merge
- 2d 21h
- Merged PRs (30d)
- 16
Description
There's a bunch of these:
```
set_trace "BasicProvers.var_eq_old" 1
```
in the codebase.
It would be good to remove these toggles as they're a bit gross.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.