dmff: Fix an incorrect use of format ("%b" instead of "%s")
dmff: Fix an incorrect use of format ("%b" instead of "%s")

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