From 22fc5ad771a8de5e7afbfc7b2365404c250121fb Mon Sep 17 00:00:00 2001
From: Sosuke MORIGUCHI <chiguri.s@gmail.com>
Date: Tue, 31 Jul 2018 21:39:02 +0900
Subject: [PATCH] Modify javadoc directive and mis-capitalization of method
name
---
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 07be64230..57085a09e 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2505,7 +2505,7 @@ public class Context implements AutoCloseable {
* 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
* 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
* {@code sorts} refers to the variable with index 0, the second to last element
* of {@code names} and {@code sorts} refers to the variable