Merge pull request #93 from cmoha/patch-2
authorlangou <julien.langou@ucdenver.edu>
Tue, 6 Dec 2016 08:48:23 +0000 (09:48 +0100)
committerGitHub <noreply@github.com>
Tue, 6 Dec 2016 08:48:23 +0000 (09:48 +0100)
bug: fixed compilation error


Trivial merge