From ff5d210e8168ba75b1058da3dac7c7a972d060f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Feb 2022 10:33:15 +0200
Subject: [PATCH] na

---
 src/api/java/Context.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index e0df3797b..466047c16 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2112,8 +2112,8 @@ public class Context implements AutoCloseable {
 
     public BoolExpr MkStringLt(SeqSort<CharSort> s1, SeqSort<CharSort> s2) 
     {
-	checkContextMatch(s1, s2);
-	return new BoolExpr(this, Native.mkStrLt(nCtx(), s1.getNativeObject(), s2.getNativeObject()));
+        checkContextMatch(s1, s2);
+        return new BoolExpr(this, Native.mkStrLt(nCtx(), s1.getNativeObject(), s2.getNativeObject()));
     }
 
     /**
@@ -2121,8 +2121,8 @@ public class Context implements AutoCloseable {
      */
     public BoolExpr MkStringLe(SeqSort<CharSort> s1, SeqSort<CharSort> s2)
     {
-	checkContextMatch(s1, s2);
-	return new BoolExpr(this, Native.mkStrLe(nCtx(), s1.getNativeObject(), s2.getNativeObject()));
+        checkContextMatch(s1, s2);
+        return new BoolExpr(this, Native.mkStrLe(nCtx(), s1.getNativeObject(), s2.getNativeObject()));
     }