| `Do command ->
let str = Ulexing.from_utf8_string command in
let watch_statuses grafite_status =
- match grafite_status.GrafiteTypes.proof_status with
+ match grafite_status#proof_status with
GrafiteTypes.Incomplete_proof
{GrafiteTypes.proof = uri,metasenv,_subst,bo,ty,attrs ;
GrafiteTypes.stack = stack } ->
let proof_status,moo_content_rev,lexicon_content_rev,dump =
match !grafite_status with
| s::_ ->
- s.proof_status, s.moo_content_rev,
+ s#proof_status, s#moo_content_rev,
(GrafiteTypes.get_estatus s)#lstatus.LexiconEngine.lexicon_content_rev,
(GrafiteTypes.get_estatus s)#dump
| _ -> assert false