follow-up 4

diff --git a/src/save.c b/src/save.c
index 690c5f2f394713110eeb883077d93f3b7529d6a8..f31c4b3949fee2b98201b2bc477871fae23ce974 100644 (file)
--- a/src/save.c
+++ b/src/save.c
@@ -1223,6 +1223,7 @@ freedynamicdata(void)
 #endif
     discard_gamelog();
     release_runtime_info(); /* build-time options and version stuff */
+    regex_at_exit();
 #endif /* FREE_ALL_MEMORY */
 
     if (VIA_WINDOWPORT())