diff --git a/scripts/expected_doxygen_warnings.txt b/scripts/expected_doxygen_warnings.txt index ca71fda3f18..154e4feef9e 100644 --- a/scripts/expected_doxygen_warnings.txt +++ b/scripts/expected_doxygen_warnings.txt @@ -34,7 +34,7 @@ warning: Included by graph for 'namespace.h' not generated, too many nodes (110) warning: Included by graph for 'pointer_expr.h' not generated, too many nodes (116), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. warning: Included by graph for 'prefix.h' not generated, too many nodes (85), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. warning: Included by graph for 'simplify_expr.h' not generated, too many nodes (79), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. -warning: Included by graph for 'std_code.h' not generated, too many nodes (78), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. +warning: Included by graph for 'std_code.h' not generated, too many nodes (79), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. warning: Included by graph for 'std_expr.h' not generated, too many nodes (241), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. warning: Included by graph for 'std_types.h' not generated, too many nodes (96), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. warning: Included by graph for 'symbol_table.h' not generated, too many nodes (95), threshold is 60. Consider increasing DOT_GRAPH_MAX_NODES. diff --git a/src/ansi-c/c_expr.h b/src/ansi-c/c_expr.h new file mode 100644 index 00000000000..3f81db6b301 --- /dev/null +++ b/src/ansi-c/c_expr.h @@ -0,0 +1,17 @@ +/*******************************************************************\ + +Module: API to expression classes that are internal to the C frontend + +Author: Daniel Kroening, kroening@kroening.com + +\*******************************************************************/ + +#ifndef CPROVER_ANSI_C_C_EXPR_H +#define CPROVER_ANSI_C_C_EXPR_H + +/// \file ansi-c/c_expr.h +/// API to expression classes that are internal to the C frontend + +#include + +#endif // CPROVER_ANSI_C_C_EXPR_H