Reverted removal of Z3 version check fix which breaks when Z3 binarie…

…s output additional information after the version number when calling z3 --version
FStarLang · Jan 30, 2025 · d575a6a · d575a6a
1 parent 17a61dc
commit d575a6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smtencoding/FStarC.SMTEncoding.Z3.fst b/src/smtencoding/FStarC.SMTEncoding.Z3.fst
@@ -176,7 +176,7 @@ let check_z3version (p:proc) : unit =
     );
     _already_warned_solver_mismatch := true
   );
-  let ver_found : string = BU.trim_string (getinfo "version") in
+  let ver_found : string = BU.trim_string (List.hd (BU.split (getinfo "version") "-")) in
   let ver_conf  : string = BU.trim_string (Options.z3_version ()) in
   if ver_conf <> ver_found && not (!_already_warned_version_mismatch) then (
     let open FStarC.Errors in