diff --git a/src/obj.h b/src/obj.h index 9f2e2efd..bd0b5020 100644 --- a/src/obj.h +++ b/src/obj.h @@ -5,7 +5,7 @@ typedef int64_t _Int; typedef double _Float; -#define PK_VERSION "0.3.9" +#define PK_VERSION "0.4.0" class CodeObject; class BasePointer; diff --git a/src/vm.h b/src/vm.h index e534e74b..7eebbdb1 100644 --- a/src/vm.h +++ b/src/vm.h @@ -1115,9 +1115,8 @@ class ThreadedVM : public VM { void __deleteThread(){ if(_thread != nullptr){ - if(_state == THREAD_RUNNING || _state == THREAD_SUSPENDED) { - keyboardInterrupt(); - while(_state != THREAD_FINISHED); + if(_state == THREAD_RUNNING || _state == THREAD_SUSPENDED){ + UNREACHABLE(); } _thread->join(); delete _thread;