Be sure book file is closed before we leave
[stockfish] / src / book.h
index e70bd0f1dabd2a31efe88783c76c377f4d7d88e8..740ef74992562f3d7b6399096d3357124604903c 100644 (file)
@@ -53,8 +53,8 @@ struct BookEntry {
 };
 
 class Book : private std::ifstream {
-
 public:
+  ~Book();
   void open(const std::string& fName);
   void close();
   const std::string file_name() const;