Fix typos in filetools.cpp.

diff --git a/src/support/filetools.cpp b/src/support/filetools.cpp
index 8d48c8e9bd8361aa80be5c55e44415433b32d606..178d1f1dd453192b85a6c9764ef7a05fa6ba2b58 100644 (file)
--- 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) {
 
        // (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() };
        }
 
                return { false, string() };
        }
 


@@ -1125,7 +1125,7 @@ cmd_ret const runCommand(string const & cmd)
 #endif
 
        if (!valid)
 #endif
 
        if (!valid)

-               perror("RunCommand:: could not terminate child process");
+               perror("RunCommand: could not terminate child process");

 
        return { valid, result };
 }
 
        return { valid, result };
 }