Maplint aktualisiert sich anscheinend doch recht schnell. Heute werden bereits alle Fehler nicht mehr angezeigt, die ich gestern behoben hatte. Gruß, dgdg