michael/grub-fork
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Remove unnecessary render on client input

Browse source
This commit is contained in:
Nicholas Kariniemi 2015-11-29 23:28:04 +02:00
parent 42afcc5b77
commit 5cf41c6b21
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
csp/sync.csp
View file

@ -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)