1 files changed, 2 insertions, 0 deletions
diff --git a/os/src/fflush.c b/os/src/fflush.c
index fc1bf63..84e2c67 100644
--- a/os/src/fflush.c
+++ b/os/src/fflush.c
@@ -1,5 +1,7 @@
 #include <stdio.h>
+#include "osdebug.h"
 
 int fflush(FILE * file) {
+//    DBGOUT("fflush(%p)\r\n", file);
     return _fflush_r(_impure_ptr, file);
 }