diff --git a/lib/internal/repl/history.js b/lib/internal/repl/history.js
index dd3ea850954936..9eb32960d35dd5 100644
--- a/lib/internal/repl/history.js
+++ b/lib/internal/repl/history.js
@@ -41,9 +41,9 @@ function setupHistory(repl, historyPath, ready) {
     }
   }
 
-  var timer = null;
-  var writing = false;
-  var pending = false;
+  let timer = null;
+  let writing = false;
+  let pending = false;
   repl.pause();
   // History files are conventionally not readable by others:
   // https://github.com/nodejs/node/issues/3392