From e5a306107e5f8d903e8eb84b63f5bd95ddf83c12 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Mon, 31 Jan 2011 12:43:08 +0100
Subject: [PATCH] diagnostics

---
 .../src/com/intellij/ide/plugins/PluginManager.java             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java b/platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java
index 2fc1343026e7..7a191c6bd153 100644
--- a/platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java
+++ b/platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java
@@ -217,7 +217,7 @@ public class PluginManager {
     }
 
     final IdeaPluginDescriptor corePluginDescriptor = idToDescriptorMap.get(PluginId.getId(CORE_PLUGIN_ID));
-    assert corePluginDescriptor != null : CORE_PLUGIN_ID + " not found";
+    assert corePluginDescriptor != null : CORE_PLUGIN_ID + " not found; platform prefix is " + System.getProperty("idea.platform.prefix");
     for (IdeaPluginDescriptorImpl descriptor : result) {
       if (descriptor != corePluginDescriptor) {
         descriptor.insertDependency(corePluginDescriptor);