Commit 7f63d613 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid using kasprintf, which does not exist on OCaml 4.02.

parent ac1f59e2
......@@ -538,7 +538,7 @@ let remove_node n =
end
let interpNotif (n: notification) =
Format.kasprintf PE.log_print_msg "interpNotif: %a@\n@." Itp_communication.print_notify n;
PE.log_print_msg (Format.asprintf "interpNotif: %a@\n@." Itp_communication.print_notify n);
match n with
| Reset_whole_tree -> TaskList.clear ()
| Initialized _g ->
......
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