file(REMOVE_RECURSE
  "CMakeFiles/parser_headersmt2"
  "parsesmt2.tab.cpp"
  "parsesmt2.tab.h"
  "lexsmt2.cpp"
)

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