diff options
| author | Kevin Quick <kquick@galois.com> | 2020-09-29 08:32:06 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2020-09-29 08:32:06 -0700 |
| commit | 66c3959e8ca73ff59faacc319a47b6f93a66be64 (patch) | |
| tree | 076892d5ef8b3d5d81ead006351bc460e7a08b09 /src/libutil/config.cc | |
| parent | 5a35cc29bffc88b88f883dfcdd1bb251eab53ecd (diff) | |
| parent | e2d398c200023a0d1e0054c536e7f6438bd2b139 (diff) | |
Merge branch 'master' into access-tokens
Diffstat (limited to 'src/libutil/config.cc')
| -rw-r--r-- | src/libutil/config.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libutil/config.cc b/src/libutil/config.cc index b14feb10d..521733025 100644 --- a/src/libutil/config.cc +++ b/src/libutil/config.cc @@ -1,6 +1,6 @@ #include "config.hh" #include "args.hh" -#include "abstractsettingtojson.hh" +#include "abstract-setting-to-json.hh" #include <nlohmann/json.hpp> |