uninstantiated existential in instrument_sim_race2::load

[stilltracy]

No description provided.

[Zdancewic]

Perhaps the best strategy is to just pull the paper. There is no real downside--we can just submit to the next deadline. That way there is less time pressure and we can prove the stronger theorem. Which is a better result anyway.

-- Steve

On Mar 25, 2016, at 5:32 PM, Yuanfeng Peng notifications@github.com wrote:

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub