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

Fix normalization of ^n operator

Browse source
This commit is contained in:
Cédric Pasteur 2010-09-13 11:22:31 +02:00
parent 0e6eb98bf7
commit 134c7a2498
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/minils/transformations/normalize.ml
View file

@ -233,7 +233,7 @@ and translate_app kind context op e_list =
let context, e_list = translate_list kind context e_list in
context, e_list
| Earray_fill, [e] ->
let context, e = translate VRef context e in
let context, e = translate Exp context e in
context, [e]
| Eselect, [e'] ->
let context, e' = translate VRef context e' in