mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

Typo in Javadoc.

Browse source
This commit is contained in:
George Karpenkov 2016-06-13 12:11:03 +02:00
parent 27aa37946e
commit 26d6c99aac
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/java/IDecRefQueue.java
View file

@ -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.