diff --git a/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs b/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs
index 1207a0335..8ef54a337 100644
--- a/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs
+++ b/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs
@@ -764,7 +764,7 @@ evaluateExpr sym sc cache = f []
               SAWExpr <$>
                 (SC.scBvForall sc w
                  =<< SC.scLambda sc nm ty =<< f (Just (B.bvarName bvar):env) body)
-              where nm = Text.unpack $ solverSymbolAsText $ B.bvarName bvar
+              where nm = solverSymbolAsText $ B.bvarName bvar
             _ -> unsupported sym "SAW backend only supports universal quantifiers over bitvectors"
         B.Exists{} ->
           unsupported sym "SAW backend does not support existential quantifiers"
diff --git a/dependencies/saw-core b/dependencies/saw-core
index 296bc6dfb..13995d82a 160000
--- a/dependencies/saw-core
+++ b/dependencies/saw-core
@@ -1 +1 @@
-Subproject commit 296bc6dfb09cf710b645b5f750de56d4ef4f7fd5
+Subproject commit 13995d82a234b5cb79117354f965539103a21535