replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix for function return types 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4025 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-06-14 14:56:24 +00:00
parent 8c81d55e92
commit 9dd56d387e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ansi-c-with-declarators/ansi_c_convert.cpp
View File

@ -417,8 +417,8 @@ void ansi_c_convertt::convert_type(
{
code_typet &code_type=to_code_type(type);
code_type.return_type().swap(code_type.subtype());
code_type.remove(ID_subtype);
code_type.return_type().make_nil();
// take care of parameter declarations
code_typet::parameterst &parameters=code_type.parameters();