update to xcode 9.2 for Travis

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Sep 8, 2020 · 4d1a2a2 · 4d1a2a2
1 parent 687a16a
commit 4d1a2a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -70,7 +70,7 @@ matrix:
     # very slow so we should keep the number of configurations we test on this
     # OS to a minimum.
     - os: osx
-      osx_image: xcode8.3
+      osx_image: xcode9.2
       env: Z3_BUILD_TYPE=RelWithDebInfo DOTNET_BINDINGS=0
 script:
   # Use `travis_wait` when doing LTO builds because this configuration will