diff --git a/src/ansi-c/c_typecheck_type.cpp b/src/ansi-c/c_typecheck_type.cpp index d82e81c0038..ac3fe7f2928 100644 --- a/src/ansi-c/c_typecheck_type.cpp +++ b/src/ansi-c/c_typecheck_type.cpp @@ -54,7 +54,7 @@ void c_typecheck_baset::typecheck_type(typet &type) exprt alignment=static_cast(type.find(ID_C_alignment)); irept _typedef=type.find(ID_C_typedef); - type.swap(type.subtype()); + type=type.subtype(); c_qualifiers.write(type); if(packed)