1 files changed, 1 insertions, 1 deletions
diff --git a/src/alloc.c b/src/alloc.c
index 9388cf1d08f..22e3e8e2a1b 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -6145,7 +6145,7 @@ garbage_collect (void)
  mark_kboards ();
  mark_threads ();
 #ifdef HAVE_PGTK
-  mark_pgtkterm();
+  mark_pgtkterm ();
 #endif
 #ifdef USE_GTK

diff --git a/src/alloc.c b/src/alloc.c index 9388cf1d08f..22e3e8e2a1b 100644 --- a/src/alloc.c +++ b/src/alloc.c
@@ -6145,7 +6145,7 @@ garbage_collect (void)
6145	mark_kboards ();	6145	mark_kboards ();
6146	mark_threads ();	6146	mark_threads ();
6147	#ifdef HAVE_PGTK	6147	#ifdef HAVE_PGTK
6148	mark_pgtkterm();	6148	mark_pgtkterm ();
6149	#endif	6149	#endif
6150		6150
6151	#ifdef USE_GTK	6151	#ifdef USE_GTK