Commit 33181dec authored by POTTIER Francois's avatar POTTIER Francois

Use [arbitrary_string].

parent 56bb1e16
open PPrint
open Coq
(* This function could move to [PPrint]. *)
let sprintf format =
Printf.ksprintf string format
(* TEMPORARY newline problem *)
Printf.ksprintf arbitrary_string format
(* -------------------------------------------------------------------------- *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment