mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Modify javadoc directive and mis-capitalization of method name

Browse source
This commit is contained in:
Sosuke MORIGUCHI 2018-07-31 21:39:02 +09:00
parent de9023a928
commit 22fc5ad771
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -2505,7 +2505,7 @@ public class Context implements AutoCloseable {
* with the sorts of the bound variables, {@code names} is an array with the * with the sorts of the bound variables, {@code names} is an array with the
* 'names' of the bound variables, and {@code body} is the body of the * 'names' of the bound variables, and {@code body} is the body of the
* lambda. * lambda.
* Note that the bound variables are de-Bruijn indices created using {@see #MkBound} * Note that the bound variables are de-Bruijn indices created using {@link #mkBound}
* Z3 applies the convention that the last element in {@code names} and * Z3 applies the convention that the last element in {@code names} and
* {@code sorts} refers to the variable with index 0, the second to last element * {@code sorts} refers to the variable with index 0, the second to last element
* of {@code names} and {@code sorts} refers to the variable * of {@code names} and {@code sorts} refers to the variable