Changeset 12840

Show
Ignore:
Timestamp:
18.11.2009 16:56:14 (4 months ago)
Author:
maeder
Message:

removed too long line

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Proofs/QualifyNames.hs

    r12602 r12840  
    4747    dg0 <- updateRefNodes (le, m) $ lookupDGraph ln le 
    4848    (dg, trm) <- qualifyDGraph ln dg0 
    49     return (Map.insert ln (computeDGraphTheories le dg) le, Map.insert ln trm m)) 
    50       (libEnv, Map.empty) 
    51     $ getTopsortedLibs libEnv 
     49    return ( Map.insert ln (computeDGraphTheories le dg) le 
     50           , Map.insert ln trm m)) 
     51    (libEnv, Map.empty) $ getTopsortedLibs libEnv 
    5252 
    5353type RenameMap = Map.Map Int (GMorphism, GMorphism)