Closed strager closed 10 years ago
I had similar issues. A 'make clean' fixed it though.
(Gosh, build systems!)
On Tue, Oct 15, 2013 at 12:28 AM, Jon Purdy notifications@github.comwrote:
I can’t get this to compile due to unit test failures. Something about not being able to match Def Term with DefTerm Term. Will take another look at it when I’m not so tired; otherwise, back to you.
— Reply to this email directly or view it on GitHubhttps://github.com/evincarofautumn/kitten/pull/89#issuecomment-26314104 .
I can’t get this to compile due to unit test failures. Something about not being able to match
Def Term
withDefTerm Term
. Will take another look at it when I’m not so tired; otherwise, back to you.