printer : print_prelude inside printers instead of prover.ml. Required for smt which has its own prelude.
Attach a file by drag & drop or click to upload
