diff --git a/src/save.c b/src/save.c
index 690c5f2f3..f31c4b394 100644
--- 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())