Remove unused field

romainbrenguier · romainbrenguier · commit 3598f68df1e1 · 2018-11-15T14:52:30.000Z
diff --git a/src/pointer-analysis/value_set_dereference.cpp b/src/pointer-analysis/value_set_dereference.cpp
@@ -32,8 +32,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/simplify_expr.h>
 #include <util/ssa_expr.h>
 
-/// \return The compound for a member expression, the array for an index
-///   expression, `expr` otherwise.
 const exprt &value_set_dereferencet::get_symbol(const exprt &expr)
 {
   if(expr.id()==ID_member || expr.id()==ID_index)
diff --git a/src/pointer-analysis/value_set_dereference.h b/src/pointer-analysis/value_set_dereference.h
@@ -21,7 +21,6 @@ Author: Daniel Kroening, kroening@kroening.com
 class symbol_tablet;
 class guardt;
 class optionst;
-class modet;
 class symbolt;
 
 /// Wrapper for a function dereferencing pointer expressions using a value set.

Original file line number	Diff line number	Diff line change
`@@ -32,8 +32,6 @@ Author: Daniel Kroening, [email protected]`
`32`	`32`	`#include <util/simplify_expr.h>`
`33`	`33`	`#include <util/ssa_expr.h>`
`34`	`34`
`35`		`-/// \return The compound for a member expression, the array for an index`
`36`		-/// expression, `expr` otherwise.
`37`	`35`	`const exprt &value_set_dereferencet::get_symbol(const exprt &expr)`
`38`	`36`	`{`
`39`	`37`	`if(expr.id()==ID_member \|\| expr.id()==ID_index)`