@@ -119,15 +119,15 @@ pprintDocs ist (ClassDoc n doc meths params instances superclasses)
119119 infixes = idris_infixes ist
120120
121121 pprintInstance (term, doc) =
122− nest 2 (dumpInstance term <>
123− if nullDocstring doc
124− then empty
125− else line <>
126− renderDocstring
127− (renderDocTerm
128− (pprintDelab ist)
129− (normaliseAll (tt_ctxt ist) []))
130− doc)
122+ nest 4 (dumpInstance term <>
123+ if nullDocstring doc
124+ then empty
125+ else line <>
126+ renderDocstring
127+ (renderDocTerm
128+ (pprintDelab ist)
129+ (normaliseAll (tt_ctxt ist) []))
130+ doc)
131131
132132 dumpInstance :: PTerm -> Doc OutputAnnotation
133133 dumpInstance = pprintPTerm ppo params' [] infixes