(**********************************************
TASSI: should fail when universes will be ON
***********************************************)
- (** (Some CicUniv.empty_ugraph,None) *)
- (None,None)
+ (Some CicUniv.empty_ugraph,None)
in
cleanup();
obj,ugraph