diff --git a/src/ExprNode.cc b/src/ExprNode.cc index 2082de491b78985e9f32d829b2ce930097763eca..0ec354e7d005e2d7d127c8f629e82beaec595198 100644 --- a/src/ExprNode.cc +++ b/src/ExprNode.cc @@ -9294,8 +9294,8 @@ PacExpectationNode::countDiffs() const pair<int, expr_t> PacExpectationNode::normalizeEquation(int var_endo, vector<tuple<int, expr_t, expr_t>> &List_of_Op_RHS) const { - //COME BACK - return { 0, const_cast<PacExpectationNode *>(this) }; + cerr << "PacExpectationNode::normalizeEquation not implemented." << endl; + exit(EXIT_FAILURE); } expr_t