X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=examples%2Frepairs.sav;h=37d8a51b2bb873627ee282010a3d5f04a3d504ce;hb=a44be3bb9fe2d6744d9948f056788e2277bd354d;hp=a1991624e19245338ce6f51ccd41dfebc83d0aa3;hpb=bd17d2af982332ee1791998361b1ac6731fe14fa;p=pspp

diff --git a/examples/repairs.sav b/examples/repairs.sav
index a1991624e1..37d8a51b2b 100644
Binary files a/examples/repairs.sav and b/examples/repairs.sav differ