PUB-API: fix write_file() declaration

This commit is contained in:
hasufell 2014-06-27 16:04:46 +02:00
parent 16677d8457
commit cd347938f4
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -33,6 +33,7 @@
#include <fmpz_poly.h> #include <fmpz_poly.h>
#include <fmpz.h> #include <fmpz.h>
#include <stdbool.h>
#include <stdint.h> #include <stdint.h>
@ -178,8 +179,9 @@ read_file(char const * const filename);
* *
* @param wstring the string to write to the file * @param wstring the string to write to the file
* @param filename the name of the file to write to * @param filename the name of the file to write to
* @return true for success or false for failure if fopen or fclose failed
*/ */
void bool
write_file(string const *wstring, char const * const filename); write_file(string const *wstring, char const * const filename);