diff --git a/csp/sync.csp b/csp/sync.csp index e482a41..69ff4c2 100644 --- a/csp/sync.csp +++ b/csp/sync.csp @@ -16,7 +16,6 @@ next_t(t) = (t + 1) % NUM_DB_STATES CLIENT(i, t) = input!i - -> render!i!t -> up!i!t -> CLIENT'(i, t) [] CLIENT'(i, t)