Merge pull request #1123 from iamsergio/master
authorKim Kulling <kimkulling@users.noreply.github.com>
Mon, 26 Dec 2016 13:39:09 +0000 (14:39 +0100)
committerGitHub <noreply@github.com>
Mon, 26 Dec 2016 13:39:09 +0000 (14:39 +0100)
Avoid unneeded copy-ctor calls when calling getAiType


Trivial merge