remove temporary fix in SpecialTreatment

GaloisInc · Mar 17, 2023 · f51b683 · f51b683
1 parent 63db8c6
commit f51b683
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/saw-core-coq/src/Verifier/SAW/Translation/Coq/SpecialTreatment.hs b/saw-core-coq/src/Verifier/SAW/Translation/Coq/SpecialTreatment.hs
@@ -589,10 +589,9 @@ sawCorePreludeSpecialTreatmentMap configuration =
 
 escapeIdent :: String -> String
 escapeIdent str
-  | all okChar strR = strR
-  | otherwise       = "Op_" ++ zEncodeString str
+  | all okChar str = str
+  | otherwise      = "Op_" ++ zEncodeString str
  where
-   strR = map (\c -> if c `elem` ("#" :: String) then '_' else c) str
    okChar x = isAlphaNum x || x `elem` ("_'" :: String)
 
 zipSnippet :: String