7050486 Rebuild for ghc updates

Authored and Committed by bruno 11 years ago
    Rebuild for ghc updates
    
        
file modified
+4 -1