diff --git a/include/sdsl/int_vector_buffer.hpp b/include/sdsl/int_vector_buffer.hpp
index 29a2f1081..601701506 100644
--- a/include/sdsl/int_vector_buffer.hpp
+++ b/include/sdsl/int_vector_buffer.hpp
@@ -284,7 +284,7 @@ class int_vector_buffer
         //! Returns whether underlying streams are currently associated to a file
         bool is_open()
         {
-            return m_ifile.is_open() and m_ofile.is_open();;
+            return m_ifile.is_open() and m_ofile.is_open();
         }
 
         //! Delete all content and set size to 0