symbol_table API

Daniel Kroening · Daniel Kroening · commit 160ea94a7952 · 2018-05-27T12:57:49.000+01:00
diff --git a/src/vhdl/vhdl_typecheck.cpp b/src/vhdl/vhdl_typecheck.cpp
@@ -84,7 +84,7 @@ void vhdl_typecheckt::typecheck_architecture_decl(irept &decl)
         new_symbol.type=type;
         new_symbol.mode=module_symbol->mode;
       
-        symbol_table.move(new_symbol);
+        symbol_table.add(new_symbol);
       }
     }
     else if(d.id()==ID_component)

Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@ void vhdl_typecheckt::typecheck_architecture_decl(irept &decl)`
`84`	`84`	`new_symbol.type=type;`
`85`	`85`	`new_symbol.mode=module_symbol->mode;`
`86`	`86`
`87`		`- symbol_table.move(new_symbol);`
	`87`	`+ symbol_table.add(new_symbol);`
`88`	`88`	`}`
`89`	`89`	`}`
`90`	`90`	`else if(d.id()==ID_component)`