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