Merge pull request #166 from iyamazaki/master
authorlangou <julien.langou@ucdenver.edu>
Mon, 12 Jun 2017 05:16:16 +0000 (05:16 +0000)
committerGitHub <noreply@github.com>
Mon, 12 Jun 2017 05:16:16 +0000 (05:16 +0000)
fixing the definition of "info" in Aasen's


Trivial merge