diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2020-06-16 10:42:25 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2020-06-16 10:42:25 -0400 |
commit | 9b76969b3c293d96ef45442682fc5c72e7864a64 (patch) | |
tree | 675afdeb707853d7d730563e91a2f910ccbae033 | |
parent | bf063268ea9a11bc5413864626a4b945b1ecf80b (diff) | |
download | bfs-9b76969b3c293d96ef45442682fc5c72e7864a64.tar.xz |
eval: Fix a segfault with -D search -S eds
-rw-r--r-- | eval.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1298,6 +1298,7 @@ static const char *dump_bftw_strategy(enum bftw_strategy strategy) { DUMP_BFTW_MAP(BFTW_BFS), DUMP_BFTW_MAP(BFTW_DFS), DUMP_BFTW_MAP(BFTW_IDS), + DUMP_BFTW_MAP(BFTW_EDS), }; return strategies[strategy]; } |