X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=examples%2Fhotel.sav;h=e5ddd43ffda6f0d1fcad50a87f052b20905752a0;hb=2b34727c23cb4c291f2fc8b52a29619957f2e06a;hp=49f6318bc3ff685f01d240d5d25c6b6896706648;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp

diff --git a/examples/hotel.sav b/examples/hotel.sav
index 49f6318bc3..e5ddd43ffd 100644
Binary files a/examples/hotel.sav and b/examples/hotel.sav differ