Jonathan Dumaresq 635a4fc344 use namespace std when possible. Change the name of private variable.		2018-12-12 16:33:25 -05:00
..
nlohmann	use namespace std when possible. Change the name of private variable.	2018-12-12 16:33:25 -05:00