Fix bug in tc.compile.goal.decompile-problematic-term#896
Open
Tragicus wants to merge 1 commit intoLPCIC:masterfrom
Open
Fix bug in tc.compile.goal.decompile-problematic-term#896Tragicus wants to merge 1 commit intoLPCIC:masterfrom
Tragicus wants to merge 1 commit intoLPCIC:masterfrom
