File tree Expand file tree Collapse file tree 1 file changed +13
-5
lines changed Expand file tree Collapse file tree 1 file changed +13
-5
lines changed Original file line number Diff line number Diff line change 1
1
/* ******************************************************************\
2
2
3
+ Module: C++ Language Type Checking
4
+
5
+ Author: Daniel Kroening, [email protected]
6
+
7
+ \*******************************************************************/
8
+
9
+ #include < util/std_types.h>
10
+ #include < util/std_expr.h>
11
+
12
+ #include " cpp_typecheck.h"
13
+
14
+ /* ******************************************************************\
15
+
3
16
Function: cpp_typecheckt::do_virtual_table
4
17
5
18
Inputs:
@@ -10,11 +23,6 @@ Function: cpp_typecheckt::do_virtual_table
10
23
11
24
\*******************************************************************/
12
25
13
- #include < util/std_types.h>
14
- #include < util/std_expr.h>
15
-
16
- #include " cpp_typecheck.h"
17
-
18
26
void cpp_typecheckt::do_virtual_table (const symbolt &symbol)
19
27
{
20
28
assert (symbol.type .id ()==ID_struct);
You can’t perform that action at this time.
0 commit comments