diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-31 19:20:08 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-08-31 19:20:08 +0200 |
| commit | d1f36e8787d2aa2071ece097273975656f788f2a (patch) | |
| tree | f8c1c9023525896db3688d82cb41c8cd225dbd1d | |
| parent | ef09da58f2cb592b10c0c3bffff01cf89a5fdb7d (diff) | |
Really fix the build
| -rw-r--r-- | src/nix/path-info.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nix/path-info.cc b/src/nix/path-info.cc index fbe5f9169..11c47bc4b 100644 --- a/src/nix/path-info.cc +++ b/src/nix/path-info.cc @@ -5,6 +5,7 @@ #include "common-args.hh" #include <algorithm> +#include <array> using namespace nix; |