fix for delete[]

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@6 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
2011-05-08 13:50:36 +00:00 · 2011-05-08 13:50:36 +00:00 · 38a9e8659d
parent b5ac0b2428
commit 38a9e8659d
1 changed files with 1 additions and 1 deletions
--- a/src/goto-programs/goto_sideeffects.cpp
+++ b/src/goto-programs/goto_sideeffects.cpp
@ -488,7 +488,7 @@ void goto_convertt::remove_cpp_delete(

  codet tmp;
  
-  tmp.set_statement(ID_cpp_delete);
+  tmp.set_statement(expr.get_statement());
  tmp.location()=expr.location();
  tmp.copy_to_operands(expr.op0());
  tmp.set(ID_destructor, expr.find(ID_destructor));