Revert "follow-up 4"

This reverts commit 9e38fb661d92558b6c590b8d96bb8fdbd587a7e5.

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