X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-opts.h;h=a21a772b8e8b2e40bda00ef2bb49f5acd2c12074;hb=32538f9f35aee7145a49971f9dae1394a1a201b5;hp=12251123db3623b71cf65d5745bada2ddc78eb43;hpb=d0b91eae59319ab2756d0d43b9cb15eb9cd3c234;p=pspp

diff --git a/src/ui/terminal/terminal-opts.h b/src/ui/terminal/terminal-opts.h
index 12251123db..a21a772b8e 100644
--- a/src/ui/terminal/terminal-opts.h
+++ b/src/ui/terminal/terminal-opts.h
@@ -18,12 +18,17 @@
 #ifndef UI_TERMINAL_TERMINAL_OPTS_H
 #define UI_TERMINAL_TERMINAL_OPTS_H 1
 
+#include <stdbool.h>
+#include "language/lexer/lexer.h"
+
 struct argv_parser;
-struct source_stream;
+struct lexer;
 struct terminal_opts;
 
 struct terminal_opts *terminal_opts_init (struct argv_parser *,
-                                          struct source_stream *);
+                                          enum segmenter_mode *,
+                                          bool *process_statrc,
+                                          char **syntax_encoding);
 void terminal_opts_done (struct terminal_opts *, int argc, char *argv[]);
 
 #endif /* ui/terminal/terminal-opts.h */