#533: #491: well-formedness tweaks from recent TT CAG THU merges

opened by thuchacz


thuchacz commented:

@tcatapano Out of curiosity, I did a well-formedness check after you merged the last of our recent work. 4 errors. This should be the fix.