Fix LLVM version in readme

Gavazzi1 · Aug 20, 2020 · a77d51f · a77d51f
1 parent f348247
commit a77d51f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -4,7 +4,7 @@
 
 ## Install dependencies
 
-- llvm-8
+- llvm-9
 - [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)