comparison TOOLS/midentify @ 18692:9a3d768cb8da

Fix a condition as suggested by Rich. Although what was in the code was working in practice it was not formally correct.
author gpoirier
date Tue, 13 Jun 2006 08:00:48 +0000
parents efb8b8fa323e
children
comparison
equal deleted inserted replaced
18691:b08913965b6a 18692:9a3d768cb8da