From 082e024b55b9015b6fa3dfac3ad2cffcf74e3f2d Mon Sep 17 00:00:00 2001
From: Daniel Wagner <dmwit@galois.com>
Date: Mon, 11 Jun 2018 13:13:11 -0400
Subject: [PATCH] bump deps

---
 submodules/macaw               | 2 +-
 submodules/parameterized-utils | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/submodules/macaw b/submodules/macaw
index 6a29ed6e..d48c434d 160000
--- a/submodules/macaw
+++ b/submodules/macaw
@@ -1 +1 @@
-Subproject commit 6a29ed6e56d1114055fe015cae7abd8b538aab91
+Subproject commit d48c434dbd4b26b43cc345015e5355fb939d9db8
diff --git a/submodules/parameterized-utils b/submodules/parameterized-utils
index 3e6a0e87..898020da 160000
--- a/submodules/parameterized-utils
+++ b/submodules/parameterized-utils
@@ -1 +1 @@
-Subproject commit 3e6a0e87567c7bff8412f451a44bc5b850c3f8ee
+Subproject commit 898020da43fbf9989a8877c1404c05767bb5df98