Leave without saving?

This schedule has changes you haven't saved. Leaving now discards them.
CPSC 513 · Introduction to Formal Verification and Analysis · UBC Flow