diff --git a/src/MICore/Logger.cs b/src/MICore/Logger.cs index 86e2db72f..671366294 100644 --- a/src/MICore/Logger.cs +++ b/src/MICore/Logger.cs @@ -97,6 +97,7 @@ public static void Reset() { HostLogger.Reset(); s_isEnabled = false; + s_isInitialized = false; } }