Fix printing of counterexamples in task
Counterexamples are badly printed in the task view: the indentation looks incorrect. An example is array_mono.mlw (probably bad pretty-printing boxes).
Counterexamples are badly printed in the task view: the indentation looks incorrect. An example is array_mono.mlw (probably bad pretty-printing boxes).