Closed ML44 closed 8 years ago
Fatal error: exception invalid term ?ty_b/73: remaining meta-variable
?ty_b/73
bug.txt
Fatal error: exception invalid term
?ty_b/73
: remaining meta-variablebug.txt