build fails: error: redefinition of ‘struct sls_params’


~/local/z3/build$ make
src/shell/mem_initializer.cpp
src/shell/drat_frontend.cpp
src/shell/install_tactic.cpp
src/shell/datalog_frontend.cpp
src/shell/dimacs_frontend.cpp
src/shell/main.cpp
src/shell/z3_log_frontend.cpp
src/shell/opt_frontend.cpp
src/shell/gparams_register_modules.cpp
In file included from ../src/shell/gparams_register_modules.cpp:37:
../src/tactic/sls/sls_params.hpp:5:8: error: redefinition of ‘struct sls_params’
    5 | struct sls_params {
      |        ^~~~~~~~~~
In file included from ../src/shell/gparams_register_modules.cpp:26:
../src/params/sls_params.hpp:5:8: note: previous definition of ‘struct sls_params’
    5 | struct sls_params {
      |        ^~~~~~~~~~
make: *** [Makefile:4845: shell/gparams_register_modules.o] Error 1
~/local/z3/build$ 
~/local/z3/build$ g++ --version
g++ (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Z3Prover / z3

build fails: error: redefinition of ‘struct sls_params’ #7141