From 1f198d4e0e78822f2bf3ce53706306f1b5b6ed8a Mon Sep 17 00:00:00 2001 From: Pascal Kesseli Date: Wed, 4 Jan 2017 18:18:35 +0100 Subject: [PATCH] Fixed ambiguity in mem_fun. Goto_programt received an additional insert_before in a recent commit. This made this reference to it ambiguous. Fixed using a static_cast. --- src/cegis/cegis-util/program_helper.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cegis/cegis-util/program_helper.cpp b/src/cegis/cegis-util/program_helper.cpp index bd5a3d4b90f..2617027381c 100644 --- a/src/cegis/cegis-util/program_helper.cpp +++ b/src/cegis/cegis-util/program_helper.cpp @@ -348,8 +348,8 @@ goto_programt::targett insert_after_preserving_source_location( goto_programt::targett insert_before_preserving_source_location( goto_programt &body, goto_programt::targett pos) { - const auto op=std::bind1st(std::mem_fun(&goto_programt::insert_before), - &body); + typedef goto_programt::targett(goto_programt::*ftype)(goto_programt::targett); + const auto op=std::bind1st(std::mem_fun(static_cast(&goto_programt::insert_before)), &body); return insert_preserving_source_location(pos, op); }