Skip to content

Commit 7dec92e

Browse files
committed
Introduce ansi-c/c_expr.h
This introduces a new header file, ansi-c/c_expr.h, which is to collect expressions that are specific to and internal to the C frontend.
1 parent f899754 commit 7dec92e

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

src/ansi-c/c_expr.h

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
/*******************************************************************\
2+
3+
Module: API to expression classes that are internal to the C frontend
4+
5+
Author: Daniel Kroening, [email protected]
6+
7+
\*******************************************************************/
8+
9+
#ifndef CPROVER_ANSI_C_C_EXPR_H
10+
#define CPROVER_ANSI_C_C_EXPR_H
11+
12+
/// \file ansi-c/c_expr.h
13+
/// API to expression classes that are internal to the C frontend
14+
15+
#include <util/std_code.h>
16+
17+
#endif // CPROVER_ANSI_C_C_EXPR_H

0 commit comments

Comments
 (0)