From bfc32b8d70b76f2bdcd77fc75b9f75ca0b8cf13d Mon Sep 17 00:00:00 2001
From: "Stephen R. van den Berg" <srb@cuci.nl>
Date: Sat, 15 Aug 2020 14:34:53 +0200
Subject: [PATCH] Make Thread.THREAD_ABORTED visible.
---
lib/modules/Thread.pmod | 1 +
1 file changed, 1 insertion(+)
diff --git a/lib/modules/Thread.pmod b/lib/modules/Thread.pmod
index ecd0615a36..c0fdc25110 100644
--- a/lib/modules/Thread.pmod
+++ b/lib/modules/Thread.pmod
@@ -26,6 +26,7 @@ optional constant all_threads = predef::all_threads;
constant THREAD_NOT_STARTED = __builtin.THREAD_NOT_STARTED;
constant THREAD_RUNNING = __builtin.THREAD_RUNNING;
constant THREAD_EXITED = __builtin.THREAD_EXITED;
+constant THREAD_ABORTED = __builtin.THREAD_ABORTED;
private local void unlock(MutexKey key)
{
--
GitLab