logging.c File Reference

#include "global.h"

Include dependency graph for logging.c:

Go to the source code of this file.

Variables
int	kissat_log_dummy_to_avoid_pedantic_warning

Variable Documentation

kissat_log_dummy_to_avoid_pedantic_warning

int kissat_log_dummy_to_avoid_pedantic_warning

Definition at line 456 of file logging.c.