Really remove it this time...

diff --git a/public/javascripts/map.js b/public/javascripts/map.js
index 42ee49358fd6568b2b8a1cccaa37aecf5ac83054..23763714c23db39d9c4d9a7c144c49f3ef70475a 100644 (file)
--- a/public/javascripts/map.js
+++ b/public/javascripts/map.js
@@ -29,11 +29,11 @@ function createMap(divName) {
    });
    map.addLayer(osmarender);
 
-   var mapnik_local = new OpenLayers.Layer.OSM("Mapnik (Local)", "http://bericote.uk.cyberscience.com/tiles/", { 
+   var maplint = new OpenLayers.Layer.OSM.Maplint("Maplint", { 
       displayOutsideMaxExtent: true,
       wrapDateLine: true
    });
-   map.addLayer(mapnik_local);
+   map.addLayer(maplint);
 
    var numZoomLevels = Math.max(mapnik.numZoomLevels, osmarender.numZoomLevels);
    markers = new OpenLayers.Layer.Markers("Markers", {