X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fcommand-line.h;h=b6058d1c2422fa161d487ef62324bc227f525302;hb=4196dc548eca5925571a9f61fbb1008646f3a09d;hp=c103b696436576962d9d9d70635e485ee572acc4;hpb=dcf9b154cbcaa35c3d8459a201b77eec8bcb30bd;p=pspp

diff --git a/src/ui/terminal/command-line.h b/src/ui/terminal/command-line.h
index c103b69643..b6058d1c24 100644
--- a/src/ui/terminal/command-line.h
+++ b/src/ui/terminal/command-line.h
@@ -22,6 +22,8 @@
 
 #include <stdbool.h>
 
-bool parse_command_line (int argc, char **argv);
+struct source_stream ;
+
+bool parse_command_line (int argc, char **argv, struct source_stream *);
 
 #endif /* cmdline.h */