-
Jacques-Henri Jourdan authored
Also, to fix the build: use compatibility layer for ownP. TODO : connect the heap invariant directly.
Jacques-Henri Jourdan authoredAlso, to fix the build: use compatibility layer for ownP. TODO : connect the heap invariant directly.
