(m17n_fini_core): Call mtext__prop_fini at after

mplist__fini.

diff --git a/src/m17n-core.c b/src/m17n-core.c
index 3620417..b6e60e8 100644 (file)
--- a/src/m17n-core.c
+++ b/src/m17n-core.c
@@ -578,14 +578,16 @@ m17n_fini_core (void)
   MDEBUG_PUSH_TIME ();
   mchartable__fini ();
   MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize chartable module."));
-  mtext__prop_fini ();
-  MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize textprop module."));
   mtext__fini ();
   MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize mtext module."));
   msymbol__fini ();
   MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize symbol module."));
   mplist__fini ();
   MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize plist module."));
+  /* We must call this after the aboves because it frees interval
+     pools.  */
+  mtext__prop_fini ();
+  MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize textprop module."));
   MDEBUG_POP_TIME ();
   MDEBUG_PRINT_TIME ("FINI", (stderr, " to finalize the core modules."));
   MDEBUG_POP_TIME ();