remove use of base_type_eq in replace_callst

Author: kroening

src/goto-instrument/replace_calls.cpp

@@ -161,8 +161,7 @@ void replace_callst::check_replacement_map(
     auto it1 = goto_functions.function_map.find(p.first);
     if(it1 != goto_functions.function_map.end())
     {
-      if(!base_type_eq(
-           ns.lookup(it1->first).type, ns.lookup(it2->first).type, ns))
+      if(ns.lookup(it1->first).type != ns.lookup(it2->first).type)
         throw invalid_command_line_argument_exceptiont(
           "functions " + id2string(p.first) + " and " + id2string(p.second) +
             " are not type-compatible",