X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=examples%2Frepairs.sav;h=d934fabb44c4825d1414f6e171d753e37b38abe8;hb=1886a238904e50ec8419396e9738030991865a80;hp=a1991624e19245338ce6f51ccd41dfebc83d0aa3;hpb=3bbb4370239deb29ebbf813d258aef6249e2a431;p=pspp

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