X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fjournal.h;h=6571e95272965beaad7263fbd2c3f3f79a3d5d50;hb=8491d88610f4a0c48891be493a4bd0522aec297b;hp=377152d5ce14cd6a3e3a82eeeb664ea5bc80f0e0;hpb=8d97f848e3452e0d013d15f6e20b1dcc089caa41;p=pspp

diff --git a/src/output/journal.h b/src/output/journal.h
index 377152d5ce..6571e95272 100644
--- a/src/output/journal.h
+++ b/src/output/journal.h
@@ -26,6 +26,7 @@
 
 #include <stdbool.h>
 
+void journal_init (void);
 void journal_enable (void);
 void journal_disable (void);
 bool journal_is_enabled (void);