X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=examples%2Fhotel.sav;h=e5ddd43ffda6f0d1fcad50a87f052b20905752a0;hb=f518002b6673e3bcc030c903378d5d75f64697ea;hp=49f6318bc3ff685f01d240d5d25c6b6896706648;hpb=b5c82cc9aabe7e641011130240ae1b2e84348e23;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