X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fjournal.h;h=5051193a67ea3c7d03ed61be1fddfe0167273173;hb=207dcaa849d7c1d5090f198e9c86f9bfc484a89e;hp=3509ff09890b4329a7b62bba36771a34ef516b92;hpb=fdcc4b6875ccdbf7bd01bc401e87afbeb71c2bfd;p=pspp-builds.git

diff --git a/src/output/journal.h b/src/output/journal.h
index 3509ff09..5051193a 100644
--- a/src/output/journal.h
+++ b/src/output/journal.h
@@ -29,6 +29,5 @@
 void journal_enable (void);
 void journal_disable (void);
 void journal_set_file_name (const char *);
-void journal_write (bool prefix, const char *);
 
 #endif /* output/journal.h */