search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
204 stars 51 forks source link

Update MFixITree.v #48

Closed vzaliva closed 5 years ago

vzaliva commented 5 years ago

compilation fix for paco-2.0.0 https://github.com/DeepSpec/InteractionTrees/issues/47

Zdancewic commented 5 years ago

Thanks! I just merged this to master.