follow-up 4

2022-06-30 13:42:14 -04:00
parent cd57dfa5ff
commit 9e38fb661d
1 changed files with 1 additions and 0 deletions
--- 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())