Fix dependency analysis spurious warning (see FStarLang/FStar#1800)
Fix dependency analysis spurious warning (see FStarLang/FStar#1800)

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star