From 26d6c99aac2ecf1304f695c75540f47715e0ce6d Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Mon, 13 Jun 2016 12:11:03 +0200
Subject: [PATCH] Typo in Javadoc.

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

diff --git a/src/api/java/IDecRefQueue.java b/src/api/java/IDecRefQueue.java
index b0a93b552..f3cea7249 100644
--- a/src/api/java/IDecRefQueue.java
+++ b/src/api/java/IDecRefQueue.java
@@ -46,7 +46,7 @@ public abstract class IDecRefQueue<T extends Z3Object>
     /**
      * An implementation of this method should decrement the reference on a
      * given native object.
-     * This function should be always called on the {@code ctx} thread.
+     * This function should always be called on the {@code ctx} thread.
      *
      * @param ctx Z3 context.
      * @param obj Pointer to a Z3 object.