File "src/core/pretty.ml", line 611, characters 19-25: Assertion failed
On any file, even just goal g:true
, typing eliminate_match
in the IDE causes an assertion failure.
On any file, even just goal g:true
, typing eliminate_match
in the IDE causes an assertion failure.