Makefile change, else can't work on SL.ExamplesAuto in emacs
Makefile change, else can't work on SL.ExamplesAuto in emacs

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