class virtual status :
object ('self)
- inherit NCicExtraction.status
+ inherit NCic.status
method timestamp: timestamp
method set_timestamp: timestamp -> 'self
- (*CSC: bug here, we are not copying the NCicExtraction part of the status *)
+ (*CSC: bug here, we are not copying the NCicExtraction and OCamlExtraction part of the status *)
end
(* it also checks it and add it to the environment *)