file(REMOVE_RECURSE
  "parsecvc.tab.cpp"
  "parsecvc.tab.h"
  "lexcvc.cpp"
  "parsesmt2.tab.cpp"
  "parsesmt2.tab.h"
  "lexsmt2.cpp"
  "parsesmt.tab.cpp"
  "parsesmt.tab.h"
  "lexsmt.cpp"
  "CMakeFiles/parser.dir/LetMgr.cpp.o"
  "CMakeFiles/parser.dir/lexcvc.cpp.o"
  "CMakeFiles/parser.dir/parsecvc.tab.cpp.o"
  "CMakeFiles/parser.dir/lexsmt2.cpp.o"
  "CMakeFiles/parser.dir/parsesmt2.tab.cpp.o"
  "CMakeFiles/parser.dir/lexsmt.cpp.o"
  "CMakeFiles/parser.dir/parsesmt.tab.cpp.o"
)

# Per-language clean rules from dependency scanning.
foreach(lang CXX)
  include(CMakeFiles/parser.dir/cmake_clean_${lang}.cmake OPTIONAL)
endforeach()
