From: wmontaz Date: Tue, 17 Jul 2007 21:09:05 +0000 (+0000) Subject: forgot include X-Git-Tag: preEdgeChange~529 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ec24179ba87c81abbe35b01803a7f5a11332595f;p=IRC.git forgot include --- diff --git a/Robust/src/Runtime/task.c b/Robust/src/Runtime/task.c index 9d3e14a2..b81f8862 100644 --- a/Robust/src/Runtime/task.c +++ b/Robust/src/Runtime/task.c @@ -10,6 +10,7 @@ #include #include #include +#include extern int injectfailures; extern float failurechance;