Merge pull request #1258 from Yangqing/instantiation
authorYangqing Jia <jiayq84@gmail.com>
Sat, 11 Oct 2014 05:08:55 +0000 (22:08 -0700)
committerYangqing Jia <jiayq84@gmail.com>
Sat, 11 Oct 2014 05:08:55 +0000 (22:08 -0700)
fix instantiation per C++ standard


Trivial merge