X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=examples%2Fhotel.sav;h=e5ddd43ffda6f0d1fcad50a87f052b20905752a0;hb=fb429d05d61e959fcd4a0116e9b4327967845f9d;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