X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2FExtraction-prefix.hs;fp=src%2FExtraction-prefix.hs;h=7e68ba072341384d87442c4192b54f52809c4a3c;hb=2f503f719116c08f11178e46c3aecfa09d974a82;hp=195e6f76da77b91fc5bb2dac99728d2356d8658f;hpb=64a5591df2cf9e7fde9fbd8ef7ea712bf28df201;p=coq-hetmet.git

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index 195e6f7..7e68ba0 100644
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@ -113,7 +113,7 @@ coreKindToKind k =
                  else                                         Prelude.error ((Prelude.++) "coreKindToKind got an unknown kind: "
                                                                                (Outputable.showSDoc (Outputable.ppr k)))
 outputableToString :: Outputable.Outputable a => a -> Prelude.String
-outputableToString = (\x -> Outputable.showSDoc (Outputable.ppr x))
+outputableToString = (\x -> Outputable.showSDocDebug (Outputable.ppr x))
 
 coreViewDeep :: Type.Type -> Type.Type
 coreViewDeep t =