From 67aaec872a9d27859312790c9cc36bf72d4464c0 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 25 Jun 2013 18:27:53 +0100
Subject: [PATCH] Java API: status bugfix. Thanks to user Bauna for reporting
 this issue (#50).

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/java/Status.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Status.java b/src/api/java/Status.java
index 117618426..e37631070 100644
--- a/src/api/java/Status.java
+++ b/src/api/java/Status.java
@@ -12,7 +12,7 @@ package com.microsoft.z3;
 public enum Status
 {
     // / Used to signify an unsatisfiable status.
-    UNSATISFIABLE(1),
+    UNSATISFIABLE(-1),
 
     // / Used to signify an unknown status.
     UNKNOWN(0),