From: Aina Niemetz Date: Fri, 17 Aug 2018 18:12:57 +0000 (-0700) Subject: cmake: Removed obsolete CMakeLists file in test. X-Git-Tag: cvc5-1.0.0~4597 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c1aa47eb07ceffde761362531f3607a7bb4157ea;p=cvc5.git cmake: Removed obsolete CMakeLists file in test. --- diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt deleted file mode 100644 index 07c36b305..000000000 --- a/test/CMakeLists.txt +++ /dev/null @@ -1,4 +0,0 @@ -add_subdirectory(java) -add_subdirectory(regress) -add_subdirectory(system) -add_subdirectory(unit)