OpenLogicProject/OpenLogic

New version of subfiles breaks olimport

rzach opened this issue · 0 comments

rzach commented

Have to track this down, seems to only affect the top-level files open-logic-debug and open-logic-complete.