From f480a893d748b36caeda0e4dd946d2e1c6d226d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Adjemian=20=28Charybdis=29?= Date: Fri, 9 Feb 2018 18:25:44 +0100 Subject: [PATCH] Fixed timing issue in pac_expectation expansion. --- ExprNode.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ExprNode.cc b/ExprNode.cc index 4761633b..fd467154 100644 --- a/ExprNode.cc +++ b/ExprNode.cc @@ -7596,7 +7596,7 @@ PacExpectationNode::substitutePacExpectation(map