Fix references so you can actually build the project.

jesper-bengtson / Charge

Higher-order separation logic framework in Coq

Other

1 stars 1 forks source link

Fix references so you can actually build the project. #10

Open kasperStig opened 7 years ago

kasperStig commented 7 years ago

Remove reference to MirrorCore.TCLemma since it is moved into MirrorCore.Lemma on the "reify-func-no-table" branch of mirrorcore, which is the one that should work with this branch. The files in question are: Charge/Rewriter/BIlogicRewrite.v and Charege/Rewriter/ILogicRewriter.v