CBMC
Loading...
Searching...
No Matches
format_hooks.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, dkr@amazon.com
6
7\*******************************************************************/
8
9#ifndef CPROVER_CPROVER_FORMAT_HOOKS_H
10#define CPROVER_CPROVER_FORMAT_HOOKS_H
11
12void format_hooks();
13
14#endif // CPROVER_CPROVER_FORMAT_HOOKS_H
void format_hooks()