anchor.diff:       {erts,[{erts,RelErts}]}].
   
   
  -verify([], App, Sys) -> ok;
  +verify([], _App, _Sys) -> ok;
   verify([Type|Types], App, Sys) ->
       case proplists:get_value(Type,App) of
   	undefined ->
  
positive.code: 	    ok;
  	error -> error
      end.
      
  
  verify_rel(full,App,Sys) ->
  
negative.code:     %% get the vsn of erts, kernel, stdlib from start_clean
      AppRel = filename:join([TmpDir,"releases",Vsn,App++".rel"]),
      DepsRel = filename:join([TmpDir,"lib",App++"-"++Vsn,"priv","deps.rel"]),
      {ok, [{release,RelAppVsn,{erts,RelErts}, _RelApps}]} = file:consult(AppRel),
      {ok, [SysDep,AppDep,AppApp]} = file:consult(DepsRel),
      
  
      %% verify that the app and vsn are same
      case RelAppVsn of
  	{App,Vsn} -> ok;
  	_ ->
  	    ?ABORT("App and vsn in rel file do not match!~n ~p != ~p~n",[{App,Vsn},RelAppVsn])
      end,
  
      [SysDep,
       AppDep,
  