- let proof_status,moo_content_rev,lexicon_content_rev =
- match !lexicon_status,!grafite_status with
- | ss::_, s::_ ->
- s.proof_status, s.moo_content_rev,
- ss.LexiconEngine.lexicon_content_rev
- | _,_ -> assert false
+ let proof_status,moo_content_rev,lexicon_content_rev,dump =
+ match !grafite_status with
+ | s::_ ->
+ s#proof_status, s#moo_content_rev,
+ s#lstatus.LexiconEngine.lexicon_content_rev, s#dump
+ | _ -> assert false