Merge pull request #106 from jschueller/patch-1
authorlangou <julien.langou@ucdenver.edu>
Thu, 29 Dec 2016 20:25:37 +0000 (21:25 +0100)
committerGitHub <noreply@github.com>
Thu, 29 Dec 2016 20:25:37 +0000 (21:25 +0100)
Fix osx build


Trivial merge