From f6f4ea70fbce9fd584c72c15a2932fa02a854d0b Mon Sep 17 00:00:00 2001
From: Michel Juillard <michel.juillard@mjui.fr>
Date: Mon, 21 Mar 2016 14:42:09 +0100
Subject: [PATCH] skipt expectation operator in substitution of auxiliary
variables
---
ExprNode.cc | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/ExprNode.cc b/ExprNode.cc
index 79e1b2d7..3a153420 100644
--- 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,
--
GitLab