diff --git a/js/client/client.js b/js/client/client.js index 74e7a94341..14883cea67 100644 --- a/js/client/client.js +++ b/js/client/client.js @@ -284,7 +284,7 @@ function start_pretty_print () { var internal = require("internal"); if (! internal.PRETTY_PRINT) { - internal.print("use pretty printing"); + internal.print("using pretty printing"); internal.PRETTY_PRINT = true; } } diff --git a/js/client/js-client.h b/js/client/js-client.h index 54685239cb..3966f3ac38 100644 --- a/js/client/js-client.h +++ b/js/client/js-client.h @@ -285,7 +285,7 @@ static string JS_client_client = " var internal = require(\"internal\");\n" "\n" " if (! internal.PRETTY_PRINT) {\n" - " internal.print(\"use pretty printing\");\n" + " internal.print(\"using pretty printing\");\n" " internal.PRETTY_PRINT = true;\n" " }\n" "}\n"