Merge pull request #10 from maldiohead/master

Update README.md
PLSysSec · Sep 2, 2020 · 1296606 · 1296606
2 parents a72a8da + bb04c6a
commit 1296606
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -5,6 +5,7 @@
 ## Install dependencies
 
 - llvm-9
+- llvm-9-tools
 - [boolector](https://github.com/Boolector/boolector) configured with
   `--shared` option. See the `build()` and `package()` functions in [this
   file](https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=boolector-git)