diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/HeaderOrder.txt | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index 13373ae33..768fce341 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -105,6 +105,7 @@  #include "Catalogue.h"  #include "Position.h" +#include "UniqueString.h"  #include "SplitVector.h"  #include "Partitioning.h"  #include "RunStyles.h" | 
