Commit b1b33f906fade8ea2dc6749a91d29dfc7421596d

Bruno Haible 2017-10-08T17:54:59

vma-iter: Fix typo in last commit.