Make the smt path go through cygpath to minimize burden on the Emacs mode CC @cpitclaudel this fixes #942
Make the smt path go through cygpath to minimize burden on the Emacs mode CC @cpitclaudel this fixes #942

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