diff options
| author | Alasdair Armstrong | 2017-08-15 18:07:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-15 18:07:59 +0100 |
| commit | 11563c43a48c6431f061301fd5a41e9ceda08bf0 (patch) | |
| tree | 256ce7944f94db8883c845afb8cac193e8e1b356 /src/pretty_print_lem_ast.ml | |
| parent | 2a8f6086bc820fadc5e6fe8d4ad910196618d625 (diff) | |
Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.
Diffstat (limited to 'src/pretty_print_lem_ast.ml')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index 018a93f5..adddcee6 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -210,8 +210,7 @@ and pp_format_typ_arg_lem (Typ_arg_aux(t,l)) = (match t with | Typ_arg_typ(t) -> "(Typ_arg_typ " ^ pp_format_typ_lem t ^ ")" | Typ_arg_nexp(n) -> "(Typ_arg_nexp " ^ pp_format_nexp_lem n ^ ")" - | Typ_arg_order(o) -> "(Typ_arg_order " ^ pp_format_ord_lem o ^ ")" - | Typ_arg_effect(e) -> "(Typ_arg_effect " ^ pp_format_effects_lem e ^ ")") ^ " " ^ + | Typ_arg_order(o) -> "(Typ_arg_order " ^ pp_format_ord_lem o ^ ")"); (pp_format_l_lem l) ^ ")" and pp_format_nexp_constraint_lem (NC_aux(nc,l)) = "(NC_aux " ^ |