From c275d4ddca7f09c78f4e6f8a55c1f03fde42c9f3 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 17 Sep 2017 18:33:40 +0100
Subject: [PATCH] typo

---
 src/api/java/Context.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 986736fb6..72866a0ba 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2070,7 +2070,7 @@ public class Context implements AutoCloseable {
      */
     public ReExpr mkComplement(ReExpr re)
     {
-        checkContextMatchb(re);
+        checkContextMatch(re);
         return (ReExpr) Expr.create(this, Native.mkReComplement(nCtx(), re.getNativeObject()));            
     }