diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 17:53:33 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 17:53:33 +0200 |
| commit | 3c3b96e877dcb121d17da282dc4ca0caadda72b2 (patch) | |
| tree | e6cd5c3f6ca686c0d106f89c308e9feb0f67d8b2 /abstract/formula_printer.ml | |
| parent | f4200a0aa90e2641ce1b0b1c54d00d9d4dd3b73e (diff) | |
| download | scade-analyzer-3c3b96e877dcb121d17da282dc4ca0caadda72b2.tar.gz scade-analyzer-3c3b96e877dcb121d17da282dc4ca0caadda72b2.zip | |
Very buggy disjunction domain !
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 44f2d39..0c7d65e 100644 --- a/abstract/formula_printer.ml +++ b/abstract/formula_printer.ml @@ -59,7 +59,7 @@ let rec print_num_expr fmt e = match e with (* Enumeated expressions *) let print_enum_expr fmt = function - | EIdent id -> Format.fprintf fmt "%s" id + | EIdent id -> print_id fmt id | EItem x -> Format.fprintf fmt "%s" x let str_of_enum_op = function |