diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 17:31:04 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2015-07-07 17:33:27 +0200 |
| commit | 3264fdaa71b2327a992286a08df0dfbcf78ea4fe (patch) | |
| tree | 2cfcdfd2eb96d82a66a03df38954fd7ff8767684 /checker/print.ml | |
| parent | 7c7726a798caa6b506a727703de24d2bb5bb3956 (diff) | |
Checker: Fix bug #4282
Adapt to new [projection] abstract type comprising a constant and
a boolean.
Diffstat (limited to 'checker/print.ml')
| -rw-r--r-- | checker/print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/print.ml b/checker/print.ml index 1cc48ff77..7624fd325 100644 --- a/checker/print.ml +++ b/checker/print.ml @@ -100,7 +100,7 @@ let print_pure_constr csr = done in print_string"{"; print_fix (); print_string"}" | Proj (p, c) -> - print_string "Proj("; sp_con_display p; print_string ","; + print_string "Proj("; sp_con_display (Projection.constant p); print_string ","; box_display c; print_string ")" and box_display c = open_hovbox 1; term_display c; close_box() |