Kill SpecC

Daniel Kroening · Daniel Kroening · commit 33359b2de80a · 2018-06-21T00:15:13.000+01:00
diff --git a/src/hw-cbmc/map_vars.cpp b/src/hw-cbmc/map_vars.cpp
@@ -680,8 +680,7 @@ void map_varst::map_vars(const irep_idt &top_module)
   Forall_symbols(it, symbol_table.symbols)
   {
     if(it->second.mode==ID_C ||
-       it->second.mode==ID_cpp ||
-       it->second.mode==ID_SpecC)
+       it->second.mode==ID_cpp)
     {
       const irep_idt &base_name=it->second.base_name;
 
@@ -731,8 +730,7 @@ void map_varst::map_vars(const irep_idt &top_module)
   Forall_symbols(it, symbol_table.symbols)
   {
     if(it->second.mode==ID_C ||
-       it->second.mode==ID_cpp ||
-       it->second.mode==ID_SpecC)
+       it->second.mode==ID_cpp)
     {
       const irep_idt &base_name=it->second.base_name;
 

Original file line number	Diff line number	Diff line change
`@@ -680,8 +680,7 @@ void map_varst::map_vars(const irep_idt &top_module)`
`680`	`680`	`Forall_symbols(it, symbol_table.symbols)`
`681`	`681`	`{`
`682`	`682`	`if(it->second.mode==ID_C \|\|`
`683`		`- it->second.mode==ID_cpp \|\|`
`684`		`- it->second.mode==ID_SpecC)`
	`683`	`+ it->second.mode==ID_cpp)`
`685`	`684`	`{`
`686`	`685`	`const irep_idt &base_name=it->second.base_name;`
`687`	`686`
`@@ -731,8 +730,7 @@ void map_varst::map_vars(const irep_idt &top_module)`
`731`	`730`	`Forall_symbols(it, symbol_table.symbols)`
`732`	`731`	`{`
`733`	`732`	`if(it->second.mode==ID_C \|\|`
`734`		`- it->second.mode==ID_cpp \|\|`
`735`		`- it->second.mode==ID_SpecC)`
	`733`	`+ it->second.mode==ID_cpp)`
`736`	`734`	`{`
`737`	`735`	`const irep_idt &base_name=it->second.base_name;`
`738`	`736`