From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 18 Jul 2009 09:32:46 +0000 (+0200)
Subject: Before recoding a variable's name, check that it
X-Git-Tag: build37~53^2~4
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=573b7c2cdd49d29bcc35e407bb52cb28199973c1;hp=573b7c2cdd49d29bcc35e407bb52cb28199973c1;p=pspp-builds.git

Before recoding a variable's name, check that it
doesn't clash with an existing one.

Thanks to Ben Pfaff for pointing out this potential
problem.
---