anchor.diff:  	  ArgNames = [erl_types:t_var_name(X) || X <- ArgTypes],
   	  dict:store({TypeOrOpaque, Name}, {Module, TypeForm, ArgNames}, RecDict);
   	false ->
  -	  throw({error, io_lib:format("Type declaration for ~w does not "
  -				      "have variables as parameters", [Name])})
  +	  throw({error, flat_format("Type declaration for ~w does not "
  +				    "have variables as parameters", [Name])})
         end
     end.
   
  
positive.code: %%-----------------------------------------------------------------------
  %% %CopyrightBegin%
  %%
  %% Copyright Ericsson AB 2006-2010. All Rights Reserved.
  %%
  %% The contents of this file are subject to the Erlang Public License,
  %% Version 1.1, (the "License"); you may not use this file except in
  
negative.code:       get_spec_info(Left, NewSpecDict, RecordsDict, ModName, File);
      {ok, {{OtherFile, L},_C}} ->
        {Mod, Fun, Arity} = MFA,
        Msg = flat_format("  Contract for function ~w:~w/~w "
  			"already defined in ~s:~w\n",
  			[Mod, Fun, Arity, OtherFile, L]),
        throw({error, Msg})
    catch
      throw:{error, Error} ->
        {error, flat_format("  Error while parsing contract in line ~w: ~s\n",
  			  [Ln, Error])}
    end;
  get_spec_info([{attribute, _, file, {IncludeFile, _}}|Left],
  	      SpecDict, RecordsDict, ModName, _File) ->
  