Changeset 12752

Show
Ignore:
Timestamp:
29.10.2009 16:36:08 (3 weeks ago)
Author:
kristina
Message:

Removed too long lines

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/DFOL/Morphism.hs

    r12751 r12752  
    410410  Result.Diag 
    411411    { Result.diagKind = Result.Error 
    412     , Result.diagString = "The symbols\n" ++ (show $ printNames $ Set.toList syms) 
     412    , Result.diagString = "The symbols\n" 
     413                          ++ (show $ printNames $ Set.toList syms) 
    413414                          ++ "\nare not in the signature\n" 
    414415                          ++ (show $ pretty sig)