From 930ab4880b65885322eb7ca4772b8cdb49a2b0ae Mon Sep 17 00:00:00 2001
From: Emiel Bruijntjes <emiel.bruijntjes@copernica.com>
Date: Mon, 24 Mar 2014 10:32:49 +0100
Subject: [PATCH] documentation fix

---
 documentation/output-and-errors.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/output-and-errors.html b/documentation/output-and-errors.html
index b5097ca4..60a10954 100644
--- a/documentation/output-and-errors.html
+++ b/documentation/output-and-errors.html
@@ -24,7 +24,7 @@ <h1>Output and errors</h1>
     Php::out is a regular std::ostream object. This has as consequence that 
     it uses an internal buffer that needs to be flushed. This flushing
     occurs automatically when you add 'std::endl' to the output, or when you 
-    add 'std::sync' explicitly.
+    add 'std::flush' explicitly.
 </p>
 <p>
 <pre class="language-c++"><code>