Merge pull request #2742 from diffblue/symbol_type_fix

Daniel Kroening · web-flow · commit aa7b89f7d0b6 · 2018-08-16T09:59:10.000+01:00
two further instances of symbol_type
diff --git a/src/util/rename_symbol.cpp b/src/util/rename_symbol.cpp
@@ -170,7 +170,7 @@ bool rename_symbolt::rename(typet &dest) const
       }
     }
   }
-  else if(dest.id()==ID_symbol)
+  else if(dest.id() == ID_symbol_type)
   {
     type_mapt::const_iterator it=
       type_map.find(to_symbol_type(dest).get_identifier());
@@ -253,7 +253,7 @@ bool rename_symbolt::have_to_rename(const typet &dest) const
         return true;
     }
   }
-  else if(dest.id()==ID_symbol)
+  else if(dest.id() == ID_symbol_type)
   {
     const irep_idt &identifier = to_symbol_type(dest).get_identifier();
     return type_map.find(identifier) != type_map.end();

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ bool rename_symbolt::rename(typet &dest) const`
`170`	`170`	`}`
`171`	`171`	`}`
`172`	`172`	`}`
`173`		`- else if(dest.id()==ID_symbol)`
	`173`	`+ else if(dest.id() == ID_symbol_type)`
`174`	`174`	`{`
`175`	`175`	`type_mapt::const_iterator it=`
`176`	`176`	`type_map.find(to_symbol_type(dest).get_identifier());`
`@@ -253,7 +253,7 @@ bool rename_symbolt::have_to_rename(const typet &dest) const`
`253`	`253`	`return true;`
`254`	`254`	`}`
`255`	`255`	`}`
`256`		`- else if(dest.id()==ID_symbol)`
	`256`	`+ else if(dest.id() == ID_symbol_type)`
`257`	`257`	`{`
`258`	`258`	`const irep_idt &identifier = to_symbol_type(dest).get_identifier();`
`259`	`259`	`return type_map.find(identifier) != type_map.end();`