Merge pull request #87 from cmoha/patch-1
authorlangou <julien.langou@ucdenver.edu>
Tue, 15 Nov 2016 16:12:37 +0000 (17:12 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Nov 2016 16:12:37 +0000 (17:12 +0100)
bug: fixed compilation error


Trivial merge