From a24a9226883dd697548f0cc7662e43a6894d2d0c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 22 Mar 2022 16:03:35 -0700
Subject: [PATCH] fix #5915

---
 examples/java/JavaExample.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/java/JavaExample.java b/examples/java/JavaExample.java
index bd705456f..150efd545 100644
--- a/examples/java/JavaExample.java
+++ b/examples/java/JavaExample.java
@@ -1868,7 +1868,7 @@ class JavaExample
             }
         } else
         {
-            System.out.println("BUG, the constraints are satisfiable.");
+            System.out.println("BUG, the constraints are not satisfiable.");
         }
     }