Fixed a bug where loops were not generated for copying arrays.
This commit is contained in:
parent
478e621ac5
commit
1f2e084e6e
1 changed files with 1 additions and 1 deletions
|
@ -218,7 +218,7 @@ let rec create_affect_lit dest l ty =
|
|||
|
||||
(** Creates the expression dest <- src (copying arrays if necessary). *)
|
||||
and create_affect_stm dest src ty =
|
||||
match ty with
|
||||
match unalias_ctype ty with
|
||||
| Cty_arr (n, bty) ->
|
||||
(match src with
|
||||
| Carraylit l -> create_affect_lit dest l bty
|
||||
|
|
Loading…
Reference in a new issue