- let proof_status,moo_content_rev,metadata,status =
- match !status with
- | Some s -> !s.proof_status, !s.moo_content_rev, !s.metadata, !s
- | None -> assert false
+ let proof_status,moo_content_rev,metadata,lexicon_content_rev =
+ match !lexicon_status,!grafite_status with
+ | Some ss, Some s ->
+ s.proof_status, s.moo_content_rev, ss.LexiconEngine.metadata,
+ ss.LexiconEngine.lexicon_content_rev
+ | _,_ -> assert false