| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-02-09 20:03:33 +0100 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-02-09 20:03:33 +0100 |
| commit | 7af295b2ec22f06b24079bf895ac97079f64b6d7 (patch) | |
| tree | 84a554fc2c169956e3ee975152332c39f6c3615a /src/server/server_worker_receive.c | |
| parent | 9ca43c73ba29d6b42cd771f1567074418c883c3e (diff) | |
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/server/server_worker_receive.c')
| -rw-r--r-- | src/server/server_worker_receive.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/server/server_worker_receive.c b/src/server/server_worker_receive.c index 4dc2fc7..10944a9 100644 --- a/src/server/server_worker_receive.c +++ b/src/server/server_worker_receive.c @@ -1,6 +1,5 @@ #include "server.h" - int ZoO_server_worker_receive ( struct ZoO_server_worker worker [const restrict static 1] |