Closed Munksgaard closed 6 years ago
This fixes some compiletest warnings that caused builds to fail on travis.
In particular, the following failure is caused by these warnings: https://travis-ci.org/Munksgaard/session-types/jobs/267863186
This fixes some compiletest warnings that caused builds to fail on travis.
In particular, the following failure is caused by these warnings: https://travis-ci.org/Munksgaard/session-types/jobs/267863186