X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=threads.cc;h=a3497e09f2b3693ac757f21cdb68851ded13fe84;hp=52b7ca9db9f8c3d7eae6bcea16a86266d27b9ac8;hb=34698794dfbc5f8f8e757f9ea4d9afa051157ec7;hpb=086658309f67c28dc254b06bda5bafa8c3e191d6

diff --git a/threads.cc b/threads.cc
index 52b7ca9..a3497e0 100644
--- a/threads.cc
+++ b/threads.cc
@@ -24,6 +24,10 @@
 /** Allocate a stack for a new thread. */
 static void * stack_allocate(size_t size)
 {
+	// TODO: This could be a bug if we have programs that start threads
+	// in different orders.  The solution is to use the same strategy
+	// the ALLOC action uses.
+
 	return snapshot_malloc(size);
 }