FILE: rename parameter

This commit is contained in:
hasufell 2014-05-26 21:38:54 +02:00
parent ff3967f932
commit b27170d150
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020
2 changed files with 4 additions and 4 deletions

View File

@ -91,7 +91,7 @@ read_file(char const * const filename)
} }
void void
write_file(string const *file_content, char const * const filename) write_file(string const *wstring, char const * const filename)
{ {
FILE *fp; FILE *fp;
@ -100,8 +100,8 @@ write_file(string const *file_content, char const * const filename)
if (!fp) if (!fp)
NTRU_ABORT("Failed while creating file\n"); NTRU_ABORT("Failed while creating file\n");
for (uint32_t i = 0; i < file_content->len; i++) for (uint32_t i = 0; i < wstring->len; i++)
fprintf(fp, "%c", file_content->ptr[i]); fprintf(fp, "%c", wstring->ptr[i]);
fclose(fp); fclose(fp);
} }

View File

@ -43,7 +43,7 @@ string *
read_file(char const * const filename); read_file(char const * const filename);
void void
write_file(string const *file_content, char const * const filename); write_file(string const *wstring, char const * const filename);
#endif /* NTRU_FILE_H */ #endif /* NTRU_FILE_H */