From 21ffae1ebe745616f16e7bf1e847b27951a6f072 Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Wed, 21 Mar 2018 16:14:31 -0700 Subject: [PATCH] Prefix fresh names with `macaw` Hopefully, this will avoid clashes with keywords. --- symbolic/src/Data/Macaw/Symbolic.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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