diff --git a/crucible-llvm/src/Lang/Crucible/LLVM/QQ.hs b/crucible-llvm/src/Lang/Crucible/LLVM/QQ.hs
index 3bb3ae492..e364296fe 100644
--- a/crucible-llvm/src/Lang/Crucible/LLVM/QQ.hs
+++ b/crucible-llvm/src/Lang/Crucible/LLVM/QQ.hs
@@ -226,8 +226,8 @@ liftQQType tp =
     QQIntVar nm  -> [| L.PrimType (L.Integer (fromInteger (intValue $(varE (mkName nm)) ))) |]
     QQSizeT      -> varE 'IC.llvmSizeT
     QQSSizeT      -> varE 'IC.llvmSSizeT
-    QQAlias nm   -> [| L.Alias $(dataToExpQ (const Nothing) nm) |]
-    QQPrim pt    -> [| L.PrimType $(dataToExpQ (const Nothing) pt) |]
+    QQAlias nm   -> [| L.Alias nm |]
+    QQPrim pt    -> [| L.PrimType pt |]
     QQPtrTo t    -> [| L.PtrTo $(liftQQType t) |]
     QQArray n t  -> [| L.Array n $(liftQQType t) |]
     QQVector n t -> [| L.Vector n $(liftQQType t) |]
@@ -251,7 +251,7 @@ liftQQDecl (QQDeclare ret nm args varargs) =
     |]
   where
   f (Left v)    = varE (mkName v)
-  f (Right sym) = dataToExpQ (const Nothing) sym
+  f (Right sym) = lift sym
 
 liftKnownNat :: Integral a => a -> Q Exp
 liftKnownNat n = [| knownNat @ $(litT (numTyLit (toInteger n))) |]
diff --git a/dependencies/llvm-pretty b/dependencies/llvm-pretty
index 226e75264..97fd46c51 160000
--- a/dependencies/llvm-pretty
+++ b/dependencies/llvm-pretty
@@ -1 +1 @@
-Subproject commit 226e75264c7f5b40539fa792c99dcc2214b81c32
+Subproject commit 97fd46c51f59ba8aa836a00e04d59945b494a1d8