Skip to content

Commit

Permalink
llvm remove the .bak from the Z3 patch so it can be found
Browse files Browse the repository at this point in the history
  • Loading branch information
gartung committed Oct 4, 2024
1 parent 0fc4869 commit f6b9f99
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
--- llvm/cmake/modules/FindZ3.cmake.bak 2024-10-04 10:19:06.702461755 -0500
--- llvm/cmake/modules/FindZ3.cmake 2024-10-04 10:19:06.702461755 -0500
+++ llvm/cmake/modules/FindZ3.cmake 2024-10-04 10:19:38.949564722 -0500
@@ -19,6 +19,7 @@
file(WRITE ${CMAKE_BINARY_DIR}${CMAKE_FILES_DIRECTORY}/CMakeTmp/testz3.cpp
Expand Down

0 comments on commit f6b9f99

Please sign in to comment.