diff --git a/deps/argo b/deps/argo
index 32f5cc47b3..5ffd2818f7 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit 32f5cc47b394a84b122868b90a9d118823a5fc9f
+Subproject commit 5ffd2818f769f118a15d0e86a1fdb0c99893c444
diff --git a/deps/crucible b/deps/crucible
index 0182b58c0e..feb54c845d 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit 0182b58c0e9fdd1f3a2a0b5ae0559fe59ae98bc0
+Subproject commit feb54c845d74265e704462c2c1ab314bd77bace1
diff --git a/deps/cryptol b/deps/cryptol
index b8d32d63aa..c46274f195 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit b8d32d63aa60bde33a08037cebdca4e36b179b19
+Subproject commit c46274f195307a68961b43abdbface163b89a1e8
diff --git a/deps/jvm-parser b/deps/jvm-parser
index 5368a84117..d440e6bc91 160000
--- a/deps/jvm-parser
+++ b/deps/jvm-parser
@@ -1 +1 @@
-Subproject commit 5368a84117dc28e0002003e8d8a491dd8756b421
+Subproject commit d440e6bc91c9ba7d48f04e3a7cbf3086d9720b1e
diff --git a/deps/jvm-verifier b/deps/jvm-verifier
index d38df577cf..3905dda18d 160000
--- a/deps/jvm-verifier
+++ b/deps/jvm-verifier
@@ -1 +1 @@
-Subproject commit d38df577cf2b8dff1fc8548e0e3248f1bb5c7080
+Subproject commit 3905dda18d0bdd5c595eef49804780f4a48c22f5
diff --git a/deps/saw-core b/deps/saw-core
index 94c8e51c50..d3cb3e393f 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit 94c8e51c509cb3379fec3a8710c442b8a2b6ae58
+Subproject commit d3cb3e393f347a14f2e490a0cc2d09fc5c9bd4eb
diff --git a/saw-remote-api/src/SAWServer/CryptolExpression.hs b/saw-remote-api/src/SAWServer/CryptolExpression.hs
index f313c68670..241b8a4e69 100644
--- a/saw-remote-api/src/SAWServer/CryptolExpression.hs
+++ b/saw-remote-api/src/SAWServer/CryptolExpression.hs
@@ -88,12 +88,12 @@ defaultEvalOpts = EvalOpts quietLogger defaultPPOpts
 runInferOutput :: InferOutput a -> ModuleM a
 runInferOutput out =
   case out of
-    InferOK warns seeds supply o ->
+    InferOK nm warns seeds supply o ->
       do setNameSeeds seeds
          setSupply supply
-         typeCheckWarnings warns
+         typeCheckWarnings nm warns
          return o
 
-    InferFailed warns errs ->
-      do typeCheckWarnings warns
-         typeCheckingFailed errs
+    InferFailed nm warns errs ->
+      do typeCheckWarnings nm warns
+         typeCheckingFailed nm errs