diff options
Diffstat (limited to 'src/main/CMakeLists.txt')
-rw-r--r-- | src/main/CMakeLists.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/CMakeLists.txt b/src/main/CMakeLists.txt index 5fb555d70..fad4e77c5 100644 --- a/src/main/CMakeLists.txt +++ b/src/main/CMakeLists.txt @@ -109,7 +109,7 @@ endif() #-----------------------------------------------------------------------------# # Generate language tokens header files. -foreach(lang Cvc Smt1 Smt2 Tptp) +foreach(lang Cvc Smt2 Tptp) string(TOLOWER ${lang} lang_lc) add_custom_command( OUTPUT ${lang_lc}_tokens.h @@ -125,7 +125,6 @@ endforeach() add_custom_target(gen-tokens DEPENDS cvc_tokens.h - smt1_tokens.h smt2_tokens.h tptp_tokens.h ) |