diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-18 19:37:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-18 19:37:11 -0500 |
commit | 547bd91e189b28da9950e12037d1e88079157479 (patch) | |
tree | 7f225e6df081071028c9e6102c902a6224179edf /src/CMakeLists.txt | |
parent | 10707e3ec6f2cab793919f2d1a159e13cdd032a9 (diff) |
Non-implied mode for model cores (#2653)
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 676943b11..4cf8412f0 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -823,7 +823,7 @@ install(FILES options/printer_modes.h options/quantifiers_modes.h options/set_language.h - options/simplification_mode.h + options/smt_modes.h options/sygus_out_mode.h options/theoryof_mode.h DESTINATION |