(* CSC: potential bug here: the new methods still use the instance variables
of the old status and not the instance variables of the new one *)
let change_stack_type (status : 'a #NTacStatus.status) (stack: 'b) : 'b NTacStatus.status =
+ let uid = status#user in
let o =
object
- inherit ['b] NTacStatus.status status#obj stack
+ inherit ['b] NTacStatus.status uid status#obj stack
method ppterm = status#ppterm
method ppcontext = status#ppcontext
method ppsubst = status#ppsubst