Eliminate system context

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index 8047e1f33d963d001fab179feab210c405ed7f34..73c1d8f78f7c8a9f79a0ee0dc5de463be7a85a68 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -46,6 +46,7 @@ public:
 
        ~Thread();
        void complete();
 
        ~Thread();
        void complete();

+       void freeResources();

 
        static int swap(ucontext_t *ctxt, Thread *t);
        static int swap(Thread *t, ucontext_t *ctxt);
 
        static int swap(ucontext_t *ctxt, Thread *t);
        static int swap(Thread *t, ucontext_t *ctxt);