ha; String.index_of was ignoring its string argument
ha; String.index_of was ignoring its string argument

A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar