From 936ccb00b19e7c8c99457242031578cdaa854d2f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 19 Dec 2008 09:35:44 -0500 Subject: Add initial C support for reactive --- src/c/driver.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/c/driver.c') diff --git a/src/c/driver.c b/src/c/driver.c index df154aea..a25cd743 100644 --- a/src/c/driver.c +++ b/src/c/driver.c @@ -73,7 +73,7 @@ static int try_rollback(uw_context ctx) { static void *worker(void *data) { int me = *(int *)data, retries_left = MAX_RETRIES; - uw_context ctx = uw_init(0, 1024, 0); + uw_context ctx = uw_init(0, 0, 1024, 0); while (1) { failure_kind fk = uw_begin_init(ctx); -- cgit v1.2.3