Committed the wrong version of this file somehow; this should have been in

the commit for #110.


git-svn-id: http://svn.openlayers.org/trunk/openlayers@6129 dc9f47b5-9b13-0410-9fdd-eb0c1a62fdaf

lib/OpenLayers/Map.js

@@ -1252,7 +1252,7 @@ OpenLayers.Map = OpenLayers.Class({
     pan: function(dx, dy, options) {
         
         if (!options) {
-            options = {}
+            options = {animate: true}
         }    
         // getCenter
         var centerPx = this.getViewPortPxFromLonLat(this.getCenter());