diff --git a/lib/ace/Editor.js b/lib/ace/Editor.js
index 902b2eab..43819a8d 100644
--- a/lib/ace/Editor.js
+++ b/lib/ace/Editor.js
@@ -913,7 +913,6 @@ var Editor = function(renderer, doc) {
     };
 
     this.replace = function(replacement, options) {
-        console.log("replacing with " + replacement);
         if (options)
             this.$search.set(options);