skipt expectation operator in substitution of auxiliary variables

2016-03-21 14:42:09 +01:00 · 2016-03-21 14:42:09 +01:00 · f6f4ea70fb
parent 32fb90d5f3
commit f6f4ea70fb
1 changed files with 4 additions and 1 deletions
--- a/ExprNode.cc
+++ b/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,