jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Mls printing fix.

Browse source
This commit is contained in:
Léonard Gérard 2010-06-29 19:04:40 +02:00
parent 88732ef2a9
commit 2127a1c2d4
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
compiler/minils/mls_printer.ml
View file

@ -135,10 +135,12 @@ and print_array_op ff = function
print_exp_tuple e_list
print_every r
and print_handler ff c =
fprintf ff "@[<2>%a@]" (print_couple print_longname print_exp "("" -> "")") c
and print_tag_e_list ff tag_e_list =
fprintf ff "@[%a@]"
(print_list
(print_couple print_longname print_exp "("" -> "")") """""") tag_e_list
(print_list print_handler """""") tag_e_list
let print_eq ff { eq_lhs = p; eq_rhs = e } =