From a4eb9325e23ba3dd5995329ed59513695eab07d7 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Tue, 28 May 2019 17:06:01 -0700
Subject: [PATCH] Bump saw-core submodule (#472)

Fixes scVectorReduced bug discovered by @andreistefanescu.
---
 deps/saw-core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/saw-core b/deps/saw-core
index 9e06f8b975..affad380f5 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit 9e06f8b975d24da98768220dc30e72df255f8dc7
+Subproject commit affad380f5f5324137d3866b158a0f745625279e