From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 6 Dec 2015 20:33:38 +0000 (+0100)
Subject: examples/repairs.sav: Update sav file version
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=82345b449ba35caaf89538b6f1de50dbed3ea9ac

examples/repairs.sav: Update sav file version

The repairs.sav example provoked a warning when loaded.  This change replaces it with a version
which does not.
---

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