Fix for recent OCaml versions.

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

89 stars 18 forks source link

Fix for recent OCaml versions. #125

Closed pthariensflame closed 4 years ago

pthariensflame commented 4 years ago

This is a minimal-necessary-to-compile-cleanly fix for #123. I needed to make this patch in order to get Homebrew to build Abella at all. Merge whenever conditions are clear. 😄