let edsp_load_universe options file =
  let (pr,l,f,t) = edsp_load_list options file in
  (pr,Cudf.load_universe (List.hd l), f, t)