patch ddc-head: DDC.Core : Whitespace only.

[Erik de Castro Lopo]

Wed Aug  3 19:39:04 EDT 2011  Erik de Castro Lopo <er...@mega-nerd.com>
  * DDC.Core : Whitespace only.

    M ./src/DDC/Core/Check.hs -9 +9
    M ./src/DDC/Core/Exp.hs -4 +4
    M ./src/DDC/Core/Float.hs -34 +34
    M ./src/DDC/Core/Glob.hs -59 +59
    M ./src/DDC/Core/Pretty.hs -38 +38
    M ./src/DDC/Core/Simplify.hs -24 +24
    M ./src/DDC/Core/TransEnv.hs -10 +10

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe