From 02aa16870c7d53e1eb9df4f8ccbab9e4d336c42e Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Wed, 19 Jul 2017 00:16:37 +0200 Subject: [PATCH] Give all label a html context in dot backend Before, atoms printed in the dot backend could either be in a html label, or in a simple label, which caused some problems for escaping special characters such as newlines. This commit fixes that problem by having all labels be html labels in the dot output. --- src/backend/dot.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backend/dot.ml b/src/backend/dot.ml index d2a9acc9..2c57351b 100644 --- a/src/backend/dot.ml +++ b/src/backend/dot.ml @@ -69,7 +69,7 @@ module Make(S : Res.S)(A : Arg with type atom := S.atom and type lemma := S.lemm id table_options color table (c, rule, rule_color, l) let print_dot_res_node fmt id a = - Format.fprintf fmt "%s [label=\"%a\"];@\n" id A.print_atom a + Format.fprintf fmt "%s [label=<%a>];@\n" id A.print_atom a let ttify f c = fun fmt () -> f fmt c