@@ -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;
@@ -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;