remove unused function make_next_state

kroening · kroening · commit 63f09acedf60 · 2018-02-11T20:26:19.000Z
diff --git a/src/util/expr_util.cpp b/src/util/expr_util.cpp
@@ -17,15 +17,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "namespace.h"
 #include "arith_tools.h"
 
-void make_next_state(exprt &expr)
-{
-  Forall_operands(it, expr)
-    make_next_state(*it);
-
-  if(expr.id()==ID_symbol)
-    expr.id(ID_next_symbol);
-}
-
 exprt make_binary(const exprt &expr)
 {
   const exprt::operandst &operands=expr.operands();
diff --git a/src/util/expr_util.h b/src/util/expr_util.h
@@ -28,11 +28,6 @@ class symbolt;
 class typet;
 class namespacet;
 
-/// \deprecated This function will eventually be removed. Use functions
-/// from \ref util/std_expr.h instead.
-
-void make_next_state(exprt &);
-
 /// splits an expression with >=3 operands into nested binary expressions
 exprt make_binary(const exprt &);
 
