diff --git a/symbolic/src/Data/Macaw/Symbolic.hs b/symbolic/src/Data/Macaw/Symbolic.hs
index 6ed38e13..94dc3522 100644
--- a/symbolic/src/Data/Macaw/Symbolic.hs
+++ b/symbolic/src/Data/Macaw/Symbolic.hs
@@ -379,7 +379,7 @@ freshValue sym str w ty =
 
   where
   symName x =
-    case userSymbol x of
+    case userSymbol ("macaw_" ++ x) of
       Left err -> crash [ "Invalid symbol name:", show x, show err ]
       Right a -> return a