changes

[model-checker.git] / threads.h

diff --git a/threads.h b/threads.h
index e7cd792a134c4b5e223b6f9465af4eaf83753b1e..6872ffa18dcedbdc547242b03b512946cde17c9a 100644 (file)
--- a/threads.h
+++ b/threads.h
@@ -27,6 +27,7 @@ typedef enum thread_state {
         * context.
         */
        THREAD_READY,
+       THREAD_ASSERTED,
        /** Thread has completed its execution */
        THREAD_COMPLETED
 } thread_state;