Fix for managed json-dictionaries in interactive mode.
Fix for managed json-dictionaries in interactive mode.

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