don't print empty labels in Pretty

b6d81e15 · Andrei Paskevich · 53c1a2d0 · b6d81e15
Commit b6d81e15 authored Oct 02, 2010 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/core/pretty.ml src/core/pretty.ml +2 -1

No files found.
--- a/src/core/pretty.ml
+++ b/src/core/pretty.ml
@@ -182,7 +182,8 @@ let prio_binop = function
  | Fimplies -> 1
  | Fiff -> 1

-let print_label fmt (l,_) = fprintf fmt "\"%s\"" l
+let print_label fmt (l,_) =
+  if l = "" then () else fprintf fmt "\"%s\"" l

 let rec print_term fmt t = print_lterm 0 fmt t
 and     print_fmla fmt f = print_lfmla 0 fmt f