X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=threads-model.h;fp=threads-model.h;h=73c1d8f78f7c8a9f79a0ee0dc5de463be7a85a68;hp=8047e1f33d963d001fab179feab210c405ed7f34;hb=9b6c5d465f4a762dbe75baf2c293510ee6e9bd07;hpb=bd3decdede241f9d7f9ac745d47518099b9b36b5

diff --git a/threads-model.h b/threads-model.h
index 8047e1f3..73c1d8f7 100644
--- a/threads-model.h
+++ b/threads-model.h
@@ -46,6 +46,7 @@ public:
 
 	~Thread();
 	void complete();
+	void freeResources();
 
 	static int swap(ucontext_t *ctxt, Thread *t);
 	static int swap(Thread *t, ucontext_t *ctxt);