X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fsource-init-opts.h;h=ee1de0319a2af3c7ecd2d7ba096b841c0b85d8ee;hb=9ade26c8349b4434008c46cf09bc7473ec743972;hp=cfd87f3fa0322266114d346b850b73332dfd42bf;hpb=afdf3096926b561f4e6511c10fcf73fc6796b9d2;p=pspp-builds.git

diff --git a/src/ui/source-init-opts.h b/src/ui/source-init-opts.h
index cfd87f3f..ee1de031 100644
--- a/src/ui/source-init-opts.h
+++ b/src/ui/source-init-opts.h
@@ -19,9 +19,7 @@
 #define UI_SOURCE_INIT_OPTS
 
 struct argv_parser;
-struct source_stream;
 
-void source_init_register_argv_parser (struct argv_parser *,
-                                       struct source_stream *);
+void source_init_register_argv_parser (struct argv_parser *);
 
 #endif /* ui/source/source-init-opts.h */