use logger->cout

in order to avoid potential problems with the progress bar

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
This commit is contained in:
Naïm Favier 2022-11-28 14:59:06 +01:00 committed by GitHub
parent 04ec157517
commit 9b35cc716b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -270,7 +270,7 @@ void NixRepl::mainLoop()
// ctrl-D should exit the debugger. // ctrl-D should exit the debugger.
state->debugStop = false; state->debugStop = false;
state->debugQuit = true; state->debugQuit = true;
std::cout << std::endl; logger->cout("");
break; break;
} }
try { try {