format_hooks.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
#ifndef CPROVER_CPROVER_FORMAT_HOOKS_H
#define CPROVER_CPROVER_FORMAT_HOOKS_H
 
void format_hooks();
 
#endif // CPROVER_CPROVER_FORMAT_HOOKS_H