Correct the position of root symbols unpickled from TASTY#4112
Merged
smarter merged 1 commit intoscala:masterfrom Mar 15, 2018
Merged
Correct the position of root symbols unpickled from TASTY#4112smarter merged 1 commit intoscala:masterfrom
smarter merged 1 commit intoscala:masterfrom