From 769578eac6743b3f4ad57c5a50f1e1fac533d4b7 Mon Sep 17 00:00:00 2001 From: Thibaut Cuvelier Date: Tue, 13 Oct 2020 00:33:05 +0200 Subject: [PATCH] Fix typos in filetools.cpp. --- src/support/filetools.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/support/filetools.cpp b/src/support/filetools.cpp index 8d48c8e9bd..178d1f1dd4 100644 --- a/src/support/filetools.cpp +++ b/src/support/filetools.cpp @@ -1093,7 +1093,7 @@ cmd_ret const runCommand(string const & cmd) // (Claus Hentschel) Check if popen was successful ;-) if (!inf) { - lyxerr << "RunCommand:: could not start child process" << endl; + lyxerr << "RunCommand: could not start child process" << endl; return { false, string() }; } @@ -1125,7 +1125,7 @@ cmd_ret const runCommand(string const & cmd) #endif if (!valid) - perror("RunCommand:: could not terminate child process"); + perror("RunCommand: could not terminate child process"); return { valid, result }; }