diff --git a/MiniZincIDE/mainwindow.cpp b/MiniZincIDE/mainwindow.cpp
index ef31ace..f6457f4 100755
--- a/MiniZincIDE/mainwindow.cpp
+++ b/MiniZincIDE/mainwindow.cpp
@@ -1928,7 +1928,7 @@ void MainWindow::outputProcFinished(int, bool showTime) {
 }
 
 void MainWindow::procFinished(int, bool showTime) {
-    if (outputProcess && outputProcess->state()==QProcess::Running) {
+    if (outputProcess && outputProcess->state()!=QProcess::NotRunning) {
         connect(outputProcess, SIGNAL(finished(int)), this, SLOT(outputProcFinished(int)));
         outputProcess->closeWriteChannel();
         return;