Added a header inclusion for <memory>.

This commit is contained in:
John Wiegley 2008-08-16 23:32:21 -04:00
parent 0005e2887d
commit bf6b4581e1

View file

@ -4,6 +4,7 @@
#include <list>
#include <sstream>
#include <cstdlib>
#include <memory>
#include <gmp.h>