Index: src/IceConverter.cpp |
diff --git a/src/IceConverter.cpp b/src/IceConverter.cpp |
index 63ab7af3b0bb6b8520732100d6574c1c1a92d8bd..380f1a0dd88be21afc73e5fea42567ac72af24d9 100644 |
--- a/src/IceConverter.cpp |
+++ b/src/IceConverter.cpp |
@@ -801,8 +801,7 @@ void Converter::convertToIce() { |
TimerMarker T(TimerStack::TT_convertToIce, Ctx); |
nameUnnamedGlobalAddresses(Mod); |
nameUnnamedFunctions(Mod); |
- if (!Ctx->getFlags().DisableGlobals) |
- convertGlobals(Mod); |
+ convertGlobals(Mod); |
convertFunctions(); |
} |