a little less versbose with printing environments in crash messages
a little less versbose with printing environments in crash messages

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