X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fread-line.c;h=0fa145c98ac502edb7f29f25e471a2ca6ee885b7;hb=fddfbb3c47fe4234453350df5b4559d75c3bedc9;hp=54f90858a5d90542aa70d0d7bade755d5ecd9621;hpb=97949b7afde73c20b85ac9040fdead71e01f33b1;p=pspp-builds.git

diff --git a/src/ui/terminal/read-line.c b/src/ui/terminal/read-line.c
index 54f90858..0fa145c9 100644
--- a/src/ui/terminal/read-line.c
+++ b/src/ui/terminal/read-line.c
@@ -151,7 +151,7 @@ readln_read (struct string *line, enum prompt_style style)
 
   assert (initialised);
 
-  reset_msg_count ();
+  msg_ui_reset_counts ();
 
   welcome ();