anchor.diff:  	    NewRecords = dialyzer_codeserver:get_temp_records(TmpCServer),
   	    OldRecords = dialyzer_plt:get_types(NewPlt),
   	    MergedRecords = dialyzer_utils:merge_records(NewRecords, OldRecords),
  -  	    TmpCServer1 = dialyzer_codeserver:set_temp_records(MergedRecords, TmpCServer),
  +	    TmpCServer1 = dialyzer_codeserver:set_temp_records(MergedRecords, TmpCServer),
   	    TmpCServer2 = dialyzer_utils:process_record_remote_types(TmpCServer1),
   	    dialyzer_contracts:process_contract_remote_types(TmpCServer2)
   	catch
  
positive.code:     NewAnalysis#typer_analysis{code_server = NewCServer}.
  
  collect_one_file_info(File, Analysis) ->
      Ds = [{d,Name,Val} || {Name,Val} <- Analysis#typer_analysis.macros],
      %% Current directory should also be included in "Includes".
      Includes = [filename:dirname(File)|Analysis#typer_analysis.includes],
  
negative.code:   Acc = lists:foldl(Fun, #tmpAcc{file=File, module=Module}, All_Defs),
    Exported_FuncMap = typer_map:insert({File, Ex_Funcs},
  				      Analysis#typer_analysis.ex_func),
  
    Sorted_Functions = lists:keysort(1, Acc#tmpAcc.funcAcc),
    FuncMap = typer_map:insert({File, Sorted_Functions},
  			     Analysis#typer_analysis.func),
    IncFuncMap = typer_map:insert({File, Acc#tmpAcc.incFuncAcc}, 
  				Analysis#typer_analysis.inc_func),
    Final_Files = Analysis#typer_analysis.final_files ++ [{File, Module}],
      RecordMap = typer_map:insert({File, Records}, Analysis#typer_analysis.record),
    Analysis#typer_analysis{final_files=Final_Files,
  			  callgraph=CG,
  			  code_server=CS5,
  