Don't use unsafeGlobalDynFlags to print SrcSpan
Don't use unsafeGlobalDynFlags to print SrcSpan

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell