X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=94b21a55742855a05974afae7d0c41d0cf30c392;hb=add3ba666ddc4f88fbf0934184c82e35c0787795;hp=02be4f78c0e777f1e93df1719fc7fc0ed48f13f2;hpb=215d1d014dbbf25c74c40ffd1155bc83cc752aaa;p=pspp

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 02be4f78c0..94b21a5574 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -79,7 +79,6 @@ static struct source_stream *the_source_stream ;
 int
 main (int argc, char **argv)
 {
-  int *view_width_p, *view_length_p;
   struct terminal_opts *terminal_opts;
   struct argv_parser *parser;
 
@@ -98,8 +97,8 @@ main (int argc, char **argv)
   the_source_stream = create_source_stream ();
   prompt_init ();
   readln_initialize ();
-  terminal_init (&view_width_p, &view_length_p);
-  settings_init (view_width_p, view_length_p);
+  settings_init ();
+  terminal_check_size ();
   random_init ();
 
   the_dataset = create_dataset ();