turning the "SMT solver says" message into info rather than warning; otherwise fstar-mode.el is not happy
turning the "SMT solver says" message into info rather than warning; otherwise fstar-mode.el is not happy

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