From 8e8640be4aef6b5c65fbee1b9e6971fc7ce49230 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Mon, 26 Apr 2021 07:08:57 -0700
Subject: [PATCH] Point cabal.project at saw-core packages in this repo.

---
 cabal.project | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/cabal.project b/cabal.project
index 79d8a4d894..901042cf5d 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,19 +1,19 @@
 packages:
     saw-script.cabal
     saw-remote-api
+    cryptol-saw-core
+    rme
+    saw-core
+    saw-core-aig
+    saw-core-sbv
+    saw-core-what4
+    saw-core-coq
     deps/llvm-pretty
     deps/llvm-pretty-bc-parser
     deps/jvm-parser
     deps/aig
     deps/abcBridge
     deps/cryptol
-    deps/saw-core/cryptol-saw-core
-    deps/saw-core/rme
-    deps/saw-core/saw-core
-    deps/saw-core/saw-core-aig
-    deps/saw-core/saw-core-sbv
-    deps/saw-core/saw-core-what4
-    deps/saw-core/saw-core-coq
     deps/what4/what4
     deps/crucible/crucible
     deps/crucible/crucible-jvm