GeneralMap verbessert

Map zu GeneralMap umbenannt
10 years ago · 47d7bb58cf
parent 97d122c315
commit 47d7bb58cf
1 changed files with 1 additions and 1 deletions
--- a/GeneralMap.java
+++ b/GeneralMap.java
@ -19,7 +19,7 @@ public class GeneralMap extends World
    /** Konstruktor für nicht weiter definierte Map, sollte im Moment nicht benutzt werden.
     * Später als Konstruktor für Default-Map denkbar.
     */
-    public Map(int x, int y, int p)
+    public GeneralMap(int x, int y, int p)
    {    
        /**
         * Erstellt eine leere Karte mit den übergebenen Eigenschaften