terminate.c File Reference

#include "terminate.h"
#include "print.h"

Include dependency graph for terminate.c:

Go to the source code of this file.

Variables
ABC_NAMESPACE_IMPL_START int	kissat_terminate_dummy_to_avoid_warning

Variable Documentation

kissat_terminate_dummy_to_avoid_warning

ABC_NAMESPACE_IMPL_START int kissat_terminate_dummy_to_avoid_warning

Definition at line 16 of file terminate.c.