From 5799947183980eb440cfff243ca794e14872ce0b Mon Sep 17 00:00:00 2001
From: "KangJing Huang (Chaserhkj)" <huangkangjing@gmail.com>
Date: Tue, 13 Jun 2017 02:37:41 -0400
Subject: [PATCH] Fix docstrings for FuncDecl.translate

---
 src/api/java/FuncDecl.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/java/FuncDecl.java b/src/api/java/FuncDecl.java
index 5909540b4..8b1ad4b44 100644
--- a/src/api/java/FuncDecl.java
+++ b/src/api/java/FuncDecl.java
@@ -60,10 +60,10 @@ public class FuncDecl extends AST
     }
 
     /**
-     * Translates (copies) the AST to the Context {@code ctx}.
+     * Translates (copies) the function declaration to the Context {@code ctx}.
      * @param ctx A context
      *
-     * @return A copy of the AST which is associated with {@code ctx}
+     * @return A copy of the function declaration which is associated with {@code ctx}
      * @throws Z3Exception on error
      **/
     public FuncDecl translate(Context ctx)