GMR814: coverity fix for AlgTool (!190) · Merge requests · atlas / Gaudi · GitLab

Charles Leggett requested to merge cherry-pick-f33d85d0 into atlas/v30r5_reent Dec 10, 2018

See merge request !189 (merged)

(cherry picked from commit f33d85d0)

d05c7558 GMR814: coverity fix for AlgTool