diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-10 18:01:28 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-10 18:01:28 +0200 |
| commit | 9ca8bcb35eb0385c8f9852045bb282c445bd6901 (patch) | |
| tree | fde546b834bee10f7bdcfaefe3f54d322e44524f /abstract/abs_interp_edd.ml | |
| parent | 354e8ed50b1fc1b6dadc1a2a8d54837b5b47e6be (diff) | |
| download | scade-analyzer-9ca8bcb35eb0385c8f9852045bb282c445bd6901.tar.gz scade-analyzer-9ca8bcb35eb0385c8f9852045bb282c445bd6901.zip | |
Add heuristic...
Diffstat (limited to 'abstract/abs_interp_edd.ml')
| -rw-r--r-- | abstract/abs_interp_edd.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/abstract/abs_interp_edd.ml b/abstract/abs_interp_edd.ml index 23d4734..bff8e2b 100644 --- a/abstract/abs_interp_edd.ml +++ b/abstract/abs_interp_edd.ml @@ -971,9 +971,9 @@ end = struct List.iter (fun (p, id, ty) -> if p then match ty with | TInt | TReal -> - Format.printf "%a ∊ %a@." Formula_printer.print_id id + Format.printf "%a ∊ %a@ " Formula_printer.print_id id ND.print_itv (ND.project final_flat id) - | TEnum _ -> Format.printf "%a : enum variable@." + | TEnum _ -> Format.printf "%a : enum variable@ " Formula_printer.print_id id) e.ve.all_vars; Format.printf "@]@." |