X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fread-line.c;h=e72f11458ac4112ede5e78c701dfb8cb9b153960;hb=402d393cf51a751198ad1be74b8c2d32ed934413;hp=493a3d63cf5bd6399e7ea90de6081ae59d967e5c;hpb=bce579d144b66ca2eee18f6d27d847285a96d7b9;p=pspp-builds.git

diff --git a/src/ui/terminal/read-line.c b/src/ui/terminal/read-line.c
index 493a3d63..e72f1145 100644
--- a/src/ui/terminal/read-line.c
+++ b/src/ui/terminal/read-line.c
@@ -92,7 +92,7 @@ readln_uninitialize (void)
   initialised = false;
 
 #if HAVE_READLINE
-  if (history_file != NULL && false == get_testing_mode() )
+  if (history_file != NULL && false == settings_get_testing_mode () )
     write_history (history_file);
   clear_history ();
   free (history_file);