Add saw-core-what4 to Cabal project file

GaloisInc · Aug 7, 2018 · 2c9261c · 2c9261c
1 parent eba401a
commit 2c9261c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cabal.project b/cabal.project
@@ -29,6 +29,7 @@ optional-packages:
   dependencies/saw-core/
   dependencies/saw-core-aig/
   dependencies/saw-core-sbv/
+  dependencies/saw-core-what4/
   dependencies/cryptol/
   dependencies/cryptol-verifier/