Merge deeef52 into ca1ad86

comby-tools · Jul 1, 2019 · 8a114be · 8a114be
2 parents ca1ad86 + deeef52
commit 8a114be
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -52,6 +52,8 @@ opam install pcre
 opam install oasis
 opam install tls
 opam install camlzip
+opam install bisect_ppx 
+opam install patdiff
 ```
 
 - Install [mparser](https://github.com/comby-tools/mparser)