|
|
@@ -2,7 +2,7 @@ open Printf
|
|
|
open Types
|
|
|
open Util
|
|
|
|
|
|
-(* Generate new variables for array dimensions, to avoid re-evalutation when
|
|
|
+(* Generate new variables for array dimensions, to avoid re-evaluation when
|
|
|
* array dimensions are used (e.g., after array dimension reduction). *)
|
|
|
let move_array_dims node =
|
|
|
let patch_dims basename values make_decs make_dimname =
|
Taddeus Kroes