fixed spurious makefile omission

amiller · Oct 21, 2016 · b87737a · b87737a
1 parent 3e9ec60
commit b87737a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -43,7 +43,7 @@ prover:
 	ocamlfind ocamlopt -package batteries,sha $(PROF) -c examples/merkle.ml
 	MODE=prover ./poorman $(PROF) -c examples/bintree.ml
 	MODE=prover ./poorman $(PROF) -c examples/skiplist.ml
-
+	MODE=prover ./poorman $(PROF) -c examples/redblack.ml
 	MODE=prover ./poorman $(PROF) -c examples/mtree.ml
 	MODE=prover ./poorman $(PROF) -c examples/blockchain.ml
 	ocamlfind ocamlopt $(PROF) -package benchmark,batteries,sha -c examples/driver.ml