From cd347938f495afae9f50f11f41759b4e1dbce3b7 Mon Sep 17 00:00:00 2001
From: hasufell <hasufell@hasufell.de>
Date: Fri, 27 Jun 2014 16:04:46 +0200
Subject: [PATCH] PUB-API: fix write_file() declaration

---
 include/ntru.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/ntru.h b/include/ntru.h
index c7deb77..bc567e3 100644
--- a/include/ntru.h
+++ b/include/ntru.h
@@ -33,6 +33,7 @@
 
 #include <fmpz_poly.h>
 #include <fmpz.h>
+#include <stdbool.h>
 #include <stdint.h>
 
 
@@ -178,8 +179,9 @@ read_file(char const * const filename);
  *
  * @param wstring the string to write to the file
  * @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);