From 5cf41c6b21275506aa3ffede09b402eec67e8c01 Mon Sep 17 00:00:00 2001
From: Nicholas Kariniemi <nicholas.kariniemi@gmail.com>
Date: Sun, 29 Nov 2015 23:28:04 +0200
Subject: [PATCH] Remove unnecessary render on client input

---
 csp/sync.csp | 1 -
 1 file changed, 1 deletion(-)

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)