enabling two phases in tutorial, thanks to guido for fixing #1360
enabling two phases in tutorial, thanks to guido for fixing #1360

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