Project

General

Profile

Revision 53206908 src/dimension.ml

View differences:

src/dimension.ml
243 243
    end
244 244
  | Dvar -> ()
245 245
  | Dunivar -> assert false
246
(*
247
in
248
begin
249
  Format.eprintf "Dimension.eval %a = " pp_dimension dim; 
250
  eval eval_op eval_const dim;
251
  Format.eprintf "%a@." pp_dimension dim
252
end
253
*)
246

  
254 247
let uneval const univar =
255 248
  let univar = repr univar in
256 249
  match univar.dim_desc with

Also available in: Unified diff