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)
commita26a82ff4a30a9240767621e8f0fe30390c55446
tree9cb06867074c60a318b468c6c13d7c7044eaef21
parent5c392680ef6362c234c2f2ab3dadd9a9148ffb8f
parentfd5cae5d069bf8544067a105e6c46d7c02598865
Merge pull request #166 from iyamazaki/master

fixing the definition of "info" in Aasen's