diff --git a/deps/saw-core b/deps/saw-core
index 71a1e4f3f7..8591423444 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit 71a1e4f3f7063b4876072ba1d0cf97e37dc64d32
+Subproject commit 85914234445271dda440ad6ae5ed56117f7c46b8
diff --git a/src/SAWScript/Interpreter.hs b/src/SAWScript/Interpreter.hs
index b7362e54b1..bd06ed1f89 100644
--- a/src/SAWScript/Interpreter.hs
+++ b/src/SAWScript/Interpreter.hs
@@ -146,7 +146,7 @@ typedTermOfString :: String -> TypedTerm
 typedTermOfString cs = TypedTerm schema trm
   where
     nat :: Integer -> Term
-    nat n = Unshared (FTermF (NatLit n))
+    nat n = Unshared (FTermF (NatLit (fromInteger n)))
     bvNat :: Term
     bvNat = Unshared (FTermF (GlobalDef "Prelude.bvNat"))
     bvNat8 :: Term