X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FRuntime%2Finstrument.h;h=60376821f86d731947db26702b15f8f87d0685a0;hp=88648bb7c669efe461c186991e853d22d2bc86d3;hb=4bfdb1c33a6317f4f64ce7ccaf480ca38edfc684;hpb=ef20ec52a35a6d7c9cb4fced0d11f9068eac7bea

diff --git a/Repair/RepairCompiler/MCC/Runtime/instrument.h b/Repair/RepairCompiler/MCC/Runtime/instrument.h
index 88648bb..6037682 100755
--- a/Repair/RepairCompiler/MCC/Runtime/instrument.h
+++ b/Repair/RepairCompiler/MCC/Runtime/instrument.h
@@ -17,6 +17,6 @@ typeobject * gettypeobject();
 void resettypemap();
 bool assertvalidtype(int ptr, int structure);
 bool assertvalidmemory(int ptr, int structure);
-
+void initializestack(void *);
 extern typemap * memmap;
 #endif