Add missing type casts

pgarba · Sep 26, 2024 · b770437 · b770437
1 parent 9d5ac30
commit b770437
Show file tree

Hide file tree

Showing 3 changed files with 475 additions and 447 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -162,6 +162,7 @@ elseif(WIN32)
             LLVMBitReader
             LLVMCore
             LLVMSupport
+            LLVMPasses
             ${Z3_LIBRARIES}
     )
 endif()