Remove obsolete package from cabal.project

robdockins · robdockins · commit 5971622562ba · 2022-01-25T13:16:02.000-08:00
diff --git a/cabal.project b/cabal.project
@@ -21,7 +21,6 @@ packages:
     deps/crucible/crucible-concurrency
     deps/crucible/crucible-jvm
     deps/crucible/crucible-llvm
-    deps/crucible/crucible-saw
     deps/crucible/crucible-symio
     deps/crucible/crucible-syntax
     deps/crucible/crux
