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

Fix the (commented) code that prints an exp

Browse source
This commit is contained in:
Cédric Pasteur 2010-09-13 10:20:24 +02:00
parent a3e1d8a5f9
commit cb521c9b68
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
compiler/main/mls2obc.ml
View file

@ -156,7 +156,9 @@ and translate_act map context pat
| Minils.Evarpat n, _ ->
[Aassgn (var_from_name map n, translate map context act)]
| _ -> (*Minils_printer.print_exp stdout act;*) assert false
| _ ->
(*let ff = Format.formatter_of_out_channel stdout in
Mls_printer.print_exp ff act; Format.fprintf ff "@?";*) assert false
and translate_c_act_list map context pat c_act_list =
List.map