introduce typedef_type in the C/C++ frontend

Daniel Kroening · Daniel Kroening · commit 588d45df9a11 · 2018-07-31T11:39:10.000+01:00
diff --git a/src/ansi-c/c_typecheck_type.cpp b/src/ansi-c/c_typecheck_type.cpp
@@ -24,6 +24,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "gcc_types.h"
 #include "padding.h"
 #include "type2name.h"
+#include "typedef_type.h"
 
 void c_typecheck_baset::typecheck_type(typet &type)
 {

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,7 @@ Author: Daniel Kroening, [email protected]`
`24`	`24`	`#include "gcc_types.h"`
`25`	`25`	`#include "padding.h"`
`26`	`26`	`#include "type2name.h"`
	`27`	`+#include "typedef_type.h"`
`27`	`28`
`28`	`29`	`void c_typecheck_baset::typecheck_type(typet &type)`
`29`	`30`	`{`