Avoid computing symbol encoding when not needed

facundominguez · Sep 18, 2021 · a1d6eab · a1d6eab
1 parent 350e244
commit a1d6eab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Language/Fixpoint/Types/Names.hs b/src/Language/Fixpoint/Types/Names.hs
@@ -178,8 +178,8 @@ type SafeText = T.Text
 
 data Symbol
   = S { _symbolId      :: !Id
-      , symbolRaw     :: !T.Text
-      , symbolEncoded :: !T.Text
+      , symbolRaw      :: T.Text
+      , symbolEncoded  :: T.Text
       } deriving (Data, Typeable, Generic)
 
 instance Eq Symbol where