clean

kroening · kroening · commit 3875c4fae470 · 2012-01-14T22:52:52.000Z
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@889 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
diff --git a/src/goto-symex/goto_symex_state.h b/src/goto-symex/goto_symex_state.h
@@ -285,8 +285,7 @@ class goto_symex_statet
     typedef std::set<irep_idt> local_variablest;
     local_variablest local_variables;
     
-    framet():
-      return_value(static_cast<const exprt &>(get_nil_irep()))
+    framet():return_value(nil_exprt())
     {
     }
 

Original file line number	Diff line number	Diff line change
`@@ -285,8 +285,7 @@ class goto_symex_statet`
`285`	`285`	`typedef std::set<irep_idt> local_variablest;`
`286`	`286`	`local_variablest local_variables;`
`287`	`287`
`288`		`- framet():`
`289`		`- return_value(static_cast<const exprt &>(get_nil_irep()))`
	`288`	`+ framet():return_value(nil_exprt())`
`290`	`289`	`{`
`291`	`290`	`}`
`292`	`291`