X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fmanager.h;h=58d0c12d48594862a7e838b0f8f3ee52b50fa605;hb=458d169f64134f4e0a9d9b72398666a01761fcf8;hp=ce658311ae157392de9599f0372c7e61cf98838e;hpb=56728c4e740a15c66266f54bed1307299f723f56;p=pspp-builds.git

diff --git a/src/output/manager.h b/src/output/manager.h
index ce658311..58d0c12d 100644
--- a/src/output/manager.h
+++ b/src/output/manager.h
@@ -114,5 +114,6 @@ void som_submit (struct som_entity *t);
 /* Miscellaneous. */
 void som_eject_page (void);
 void som_blank_line (void);
+void som_flush (void);
 
 #endif /* som_h */