diff options
| author | Alasdair Armstrong | 2017-09-08 15:54:57 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-09-08 15:54:57 +0100 |
| commit | af478ccda9894883427447cb954fc883efbd2217 (patch) | |
| tree | 68db15b55cb2cfb96d286ff6cb5577d856b1aac5 /src | |
| parent | 97ebda8681ec38d6e087abe04629255420991a40 (diff) | |
Fixed bug when printing Typ_args in Lem AST output
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index 5edf9d12..68745bf9 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -208,9 +208,9 @@ and pp_format_effects_lem (Effect_aux(e,l)) = and pp_format_typ_arg_lem (Typ_arg_aux(t,l)) = "(Typ_arg_aux " ^ (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_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 ^ ")") ^ (pp_format_l_lem l) ^ ")" and pp_format_nexp_constraint_lem (NC_aux(nc,l)) = "(NC_aux " ^ |