mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
bumped version number
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
79eca95a95
commit
ead762e0d0
|
@ -34,6 +34,6 @@ using System.Security.Permissions;
|
|||
// You can specify all the values or you can default the Build and Revision Numbers
|
||||
// by using the '*' as shown below:
|
||||
// [assembly: AssemblyVersion("4.2.0.0")]
|
||||
[assembly: AssemblyVersion("4.3.1.0")]
|
||||
[assembly: AssemblyFileVersion("4.3.1.0")]
|
||||
[assembly: AssemblyVersion("4.3.2.0")]
|
||||
[assembly: AssemblyFileVersion("4.3.2.0")]
|
||||
|
||||
|
|
Loading…
Reference in a new issue