Fix version_set compilation bug
Merge pull request #96 from fgallaire/master

Fix version_set compilation bug