anchor.diff:  default_plt() ->
       rebar_utils:otp_release() ++ ".plt".
   
  -do(State, Plt, Apps) ->
  -    {PltWarnings, State1} = update_proj_plt(State, Plt, Apps),
  -    {Warnings, State2} = succ_typings(State1, Plt, Apps),
  +do(State, Plt) ->
  +    {PltWarnings, State1} = update_proj_plt(State, Plt),
  +    {Warnings, State2} = succ_typings(State1, Plt),
       case PltWarnings + Warnings of
           0 ->
               {ok, State2};
  
positive.code:     end.
  
  format_warnings(Warnings) ->
      format_warnings(Warnings, [], []).
  
  format_warnings([Warning | Rest], Unknowns, Warnings) ->
      case dialyzer:format_warning(Warning, fullpath) of
          ":0: " ++ Unknown ->
              format_warnings(Rest, [strip(Unknown) | Unknowns], Warnings);
          Warning2 ->
              format_warnings(Rest, Unknowns, [strip(Warning2) | Warnings])
      end;
  format_warnings([], Unknowns, Warnings) ->
      {Unknowns, Warnings}.
  
  strip(Warning) ->
      string:strip(Warning, right, $\n).
  
negative.code:     BasePlt = rebar_state:get(State, dialyzer_base_plt, default_plt()),
      filename:join(BaseDir, BasePlt).
  
  base_plt_files(State) ->
      BasePltApps = rebar_state:get(State, dialyzer_base_plt_apps,
                                    default_plt_apps()),
      Apps = rebar_state:project_apps(State),
      get_plt_files(BasePltApps, Apps).
  
  update_base_plt(State, BasePlt, BaseFiles) ->
      ?INFO("Updating base plt...", []),
  