diff --git a/lib/modules/Thread.pmod b/lib/modules/Thread.pmod
index ecd0615a36bb96bb843dbc88839de0acb2ba087b..c0fdc25110e05c56100d7398722e8f069b162b89 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)
 {