Index: tol/init.cpp
===================================================================
--- tol/init.cpp	(revision e6baad4b2a5a6c7443e95ded145858f7037aca64)
+++ tol/init.cpp	(revision 3e375150e9784fd803109bd5ca42e9ab5fd082b4)
@@ -158,4 +158,6 @@
   if(!TOLHasBeenEnded_)
   {
+    void DestroyInitTOLFile();
+    DestroyInitTOLFile();
     TOLHasBeenEnded_ = true;
     int BTolOprProfiler_Dump();