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