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

diff --git a/src/ui/source-init-opts.h b/src/ui/source-init-opts.h
index cfd87f3fa0..ee1de0319a 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 */