diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-11 10:30:07 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 7be22fb6cac25031efc242708719555624f54791 (patch) | |
tree | 51e20a0255ede51798d4ca8aa9b36713075f72c0 /src | |
parent | 507748d8bbdd2c9a2d29f83fd7f4ee6ac8d3fe08 (diff) |
cmake: Various CMakeLists.txt fixes/cleanup.
Diffstat (limited to 'src')
-rw-r--r-- | src/prop/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/prop/CMakeLists.txt b/src/prop/CMakeLists.txt deleted file mode 100644 index c7868e0f0..000000000 --- a/src/prop/CMakeLists.txt +++ /dev/null @@ -1,2 +0,0 @@ -add_subdirectory(bvminisat) -add_subdirectory(minisat) |