aleator/CV — pull request #30 by adinapoli (2013-03-14 14:43:51+00:00)
Title: Fixed #28

The fix was trivially explicitly adding the function to the header, as another user suggested on the issue. Don't know if there is a better way though.