Merge pull request #658 from smowton/pretty_print_return

Correct pretty-printing of code_returnt

Author: Daniel Kroening

src/ansi-c/expr2c.cpp

@@ -3337,7 +3337,7 @@ std::string expr2ct::convert_code_return(
   std::string dest=indent_str(indent);
   dest+="return";
 
-  if(src.operands().size()==1)
+  if(to_code_return(src).has_return_value())
     dest+=" "+convert(src.op0());
 
   dest+=';';