added logFile to deallocateLogger

This commit is contained in:
Václav Šmejkal 2022-12-04 19:15:44 +01:00
parent e2c5791dc7
commit ea76a8b5e6
No known key found for this signature in database
GPG Key ID: FD749A97DF2D5E19

View File

@ -19,6 +19,8 @@ along with this program. If not, see <https://www.gnu.org/licenses/>.
#ifndef WHY2_LOGGER_UTILS_C #ifndef WHY2_LOGGER_UTILS_C
#define WHY2_LOGGER_UTILS_C #define WHY2_LOGGER_UTILS_C
void deallocateLogger(int logger); //USE THIS IF YOU WANT TO DEALLOCATE FILE POINTER RETURNED BY logger'S initLogger #include <why2/logger/flags.h>
void deallocateLogger(logFile logger); //USE THIS IF YOU WANT TO DEALLOCATE FILE POINTER RETURNED BY logger'S initLogger
#endif #endif