diff --git a/tools/cleanup.js b/tools/cleanup.js index 7532942a..71452014 100644 --- a/tools/cleanup.js +++ b/tools/cleanup.js @@ -9,7 +9,7 @@ module.exports = function cleanUp(latex) { // also unindent the LaTeX. var indent = false; - var lines = latex.split('\n').filter(function(line) { return !!line.trim(); }); + var lines = latex.split('\n').filter(line => !!line.trim()); var clean = function(line, idx) { if(line.trim()) { if (!indent) {