diff options
Diffstat (limited to 'abstract/formula_printer.ml')
| -rw-r--r-- | abstract/formula_printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/abstract/formula_printer.ml b/abstract/formula_printer.ml index 0c7d65e..383500c 100644 --- a/abstract/formula_printer.ml +++ b/abstract/formula_printer.ml @@ -68,7 +68,7 @@ let str_of_enum_op = function let print_econs fmt (op, a, b) = Format.fprintf fmt "%a %s %a" - print_enum_expr a (str_of_enum_op op) print_enum_expr b + print_id a (str_of_enum_op op) print_enum_expr b (* Print boolean form of formula *) |