Fix MacOS native counterpart

UnitTestBot · Apr 15, 2024 · 79e1513 · 79e1513
1 parent c3c7be5
commit 79e1513
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/ksmt-cvc5/dist/cvc5-native-osx-arm64-1.1.2.zip b/ksmt-cvc5/dist/cvc5-native-osx-arm64-1.1.2.zip