more renaming fixes

[org.ibex.core.git] / src / org / ibex / core / Main.java

diff --git a/src/org/ibex/core/Main.java b/src/org/ibex/core/Main.java
index 2f68bf0..b7be374 100644 (file)
--- a/src/org/ibex/core/Main.java
+++ b/src/org/ibex/core/Main.java
@@ -68,7 +68,7 @@ public class Main {
             startargs++;
         }
 
-        Platform.forceLoad();
+        org.ibex.plat.Platform.forceLoad();
         if (Log.on) for(int i=0; i<args.length; i++) Log.info(Main.class, "argument " + i + ": " + args[i]);
 
         initialTemplate = args.length > startargs + 1 ? args[startargs + 1] : "main";