diff .tonioni @ 959:9a422d610058

Fix something coverity reports as "copy-paste error" (actually it doesn't matter, but the fix reads better)
author Chris Cannam
date Wed, 03 Sep 2014 09:48:51 +0100
parents f3df2c35e6cd
children
line wrap: on
line diff