Don't sync with C library I/O buffers

Now we are forced to just use C++ iostream becuase
buffers are independent and using C library functions
like printf() or scanf() could yield to issues.

Speed up of about 1%.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/main.cpp b/src/main.cpp
index 0c94ed892bfc669b6bcf1727c78910b3698a9bd7..1b2fdf9dec5efff93d657b46ff042b31ef516254 100644 (file)
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -43,6 +43,11 @@ int main(int argc, char* argv[]) {
   Eval::init();
   TT.set_size(Options["Hash"]);
 
+  // Don't sync with C library I/O buffers, faster but now using printf()
+  // or scanf() could yield to issues because buffers are independent.
+  cout.sync_with_stdio(false);
+  cin.sync_with_stdio(false);
+
   cout << engine_info() << endl;
 
   if (argc == 1)