Revert "Ignore return value"

tautschnig · tautschnig · commit 4b9df3be640a · 2018-08-13T09:05:31.000Z
This reverts commit e74c000.
diff --git a/src/util/replace_symbol.cpp b/src/util/replace_symbol.cpp
@@ -177,7 +177,7 @@ bool replace_symbolt::replace(typet &dest) const
   else if(dest.id()==ID_code)
   {
     code_typet &code_type=to_code_type(dest);
-    (void)replace(code_type.return_type());
+    replace(code_type.return_type());
     code_typet::parameterst &parameters=code_type.parameters();
     for(code_typet::parameterst::iterator it = parameters.begin();
         it!=parameters.end();

Original file line number	Diff line number	Diff line change
`@@ -177,7 +177,7 @@ bool replace_symbolt::replace(typet &dest) const`
`177`	`177`	`else if(dest.id()==ID_code)`
`178`	`178`	`{`
`179`	`179`	`code_typet &code_type=to_code_type(dest);`
`180`		`- (void)replace(code_type.return_type());`
	`180`	`+ replace(code_type.return_type());`
`181`	`181`	`code_typet::parameterst &parameters=code_type.parameters();`
`182`	`182`	`for(code_typet::parameterst::iterator it = parameters.begin();`
`183`	`183`	`it!=parameters.end();`