fix missing include

release/4.3a0
Jose Luis Blanco-Claraco 2019-12-20 10:06:15 +01:00
parent bd51af1b3e
commit d76fc052b0
No known key found for this signature in database
GPG Key ID: D443304FBD70A641
1 changed files with 1 additions and 0 deletions

View File

@ -12,6 +12,7 @@
#include <list> #include <list>
#include <vector> #include <vector>
#include <stdexcept> #include <stdexcept>
#include <string>
#include <boost/shared_ptr.hpp> #include <boost/shared_ptr.hpp>
#include "PartitionWorkSpace.h" #include "PartitionWorkSpace.h"