skipt expectation operator in substitution of auxiliary variables

2016-03-21 14:42:09 +01:00 · 2016-03-21 14:42:09 +01:00 · c2a1975194
parent 2313f20a35
commit c2a1975194
1 changed files with 4 additions and 1 deletions
--- a/preprocessor/ExprNode.cc
+++ b/preprocessor/ExprNode.cc
@ -2561,7 +2561,10 @@ expr_t
 UnaryOpNode::substituteStaticAuxiliaryVariable() const
 {
  expr_t argsubst = arg->substituteStaticAuxiliaryVariable();
-  return buildSimilarUnaryOpNode(argsubst, datatree);
+  if (op_code == oExpectation)
+    return argsubst;
+  else
+    return buildSimilarUnaryOpNode(argsubst, datatree);
 }

 BinaryOpNode::BinaryOpNode(DataTree &datatree_arg, const expr_t arg1_arg,