remove ltl_sva_to_stringt::resultt::e

This removes an unused member from ltl_sva_to_stringt::resultt.

Author: kroening

src/temporal-logic/ltl_sva_to_string.cpp

@@ -36,7 +36,6 @@ ltl_sva_to_stringt::suffix(std::string s, const exprt &expr, modet mode)
   auto op_rec = rec(to_unary_expr(expr).op(), mode);
 
   auto new_e = to_unary_expr(expr);
-  new_e.op() = op_rec.e;
 
   if(op_rec.p == precedencet::ATOM || op_rec.p == precedencet::SUFFIX)
     return resultt{precedencet::SUFFIX, op_rec.s + s, new_e};
@@ -50,7 +49,6 @@ ltl_sva_to_stringt::prefix(std::string s, const exprt &expr, modet mode)
   auto op_rec = rec(to_unary_expr(expr).op(), mode);
 
   auto new_e = to_unary_expr(expr);
-  new_e.op() = op_rec.e;
 
   if(op_rec.p == precedencet::ATOM || op_rec.p == precedencet::PREFIX)
     return resultt{precedencet::PREFIX, s + op_rec.s, new_e};
@@ -73,7 +71,6 @@ ltl_sva_to_stringt::infix(std::string s, const exprt &expr, modet mode)
       result += s;
 
     auto op_rec = rec(op, mode);
-    op = op_rec.e;
 
     if(op_rec.p == precedencet::ATOM)
       result += op_rec.s;

src/temporal-logic/ltl_sva_to_string.h

@@ -35,12 +35,11 @@ class ltl_sva_to_stringt
   struct resultt
   {
     resultt(precedencet _p, std::string _s, exprt _e)
-      : p(_p), s(std::move(_s)), e(std::move(_e))
+      : p(_p), s(std::move(_s))
     {
     }
     precedencet p;
     std::string s;
-    exprt e;
   };
 
   numberingt<exprt, irep_hash> atoms;