| 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/storage/storage.h | |
| parent | 9ca43c73ba29d6b42cd771f1567074418c883c3e (diff) | |
It's starting to "properly" reply...
The ACSL coverage is far behind though.
Diffstat (limited to 'src/storage/storage.h')
| -rw-r--r-- | src/storage/storage.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/storage/storage.h b/src/storage/storage.h index c287b23..9eff281 100644 --- a/src/storage/storage.h +++ b/src/storage/storage.h @@ -1,14 +1,14 @@ #ifndef _ZoO_STORAGE_STORAGE_H_ #define _ZoO_STORAGE_STORAGE_H_ -#include "../pipe/pipe_types.h" +#include <stdio.h> int ZoO_storage_write_line ( const char filename [const restrict static 1], char line [const restrict static 1], size_t const line_size, - const struct ZoO_pipe io [const restrict static 1] + FILE io [const restrict static 1] ); #endif |