From 2d480aeaf712a8c86a7af2726f222564f860c0e0 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Thu, 5 Dec 2019 14:40:17 -0800
Subject: [PATCH] Update saw-core submodule. Fixes #564.

---
 deps/saw-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/saw-core b/deps/saw-core
index 82d1666d13..71a1e4f3f7 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit 82d1666d139b413f573f2ec86a389c5fd5c310a2
+Subproject commit 71a1e4f3f7063b4876072ba1d0cf97e37dc64d32