diff --git a/Stream_support/include/CGAL/IO/binary_file_io.h b/Stream_support/include/CGAL/IO/binary_file_io.h
index 165031715fe..8d101a43c4d 100644
--- a/Stream_support/include/CGAL/IO/binary_file_io.h
+++ b/Stream_support/include/CGAL/IO/binary_file_io.h
@@ -19,6 +19,7 @@
 #define CGAL_IO_BINARY_FILE_IO_H
 
 #include <CGAL/config.h>
+#include <CGAL/assertions.h>
 #include <iostream>
 #include <cstdint>