From fdb632f24ca6fe949b51ca37648ef72732a116c8 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 6 Dec 2018 08:31:40 +0100
Subject: Fix crash exiting nextpnr gui

---
 gui/worker.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gui')

diff --git a/gui/worker.cc b/gui/worker.cc
index b009ecd3..900883d4 100644
--- a/gui/worker.cc
+++ b/gui/worker.cc
@@ -126,6 +126,7 @@ TaskManager::TaskManager() : toTerminate(false), toPause(false)
 
 TaskManager::~TaskManager()
 {
+    log_write_function = nullptr;
     if (workerThread.isRunning())
         terminate_thread();
     workerThread.quit();
-- 
cgit v1.2.3