Project

General

Profile

Revision 7dedc5f0 src/dimension.ml

View differences:

src/dimension.ml
285 285
let rec instantiate inst_dim_vars dim =
286 286
  let dim = repr dim in
287 287
  match dim.dim_desc with
288
  | Dvar _
288
  | Dvar
289 289
  | Dident _
290 290
  | Dint _
291 291
  | Dbool _ -> dim

Also available in: Unified diff