diff --git a/Makefile b/Makefile index f6ab8de3..faac5b99 100644 --- a/Makefile +++ b/Makefile @@ -21,6 +21,7 @@ install-dependencies-ocaml: re reason \ obelisk \ unionfind \ + bindlib \ ocamlgraph init-submodules: