From 104e7329472d9430f06dd1d9a331e956bdd26841 Mon Sep 17 00:00:00 2001
From: Patrick LaFontaine <32135464+Pat-Lafon@users.noreply.github.com>
Date: Fri, 10 Mar 2023 14:22:51 -0500
Subject: [PATCH] minor comment touchup

---
 z3/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/z3/src/lib.rs b/z3/src/lib.rs
index 9ac43f62..aee78376 100644
--- a/z3/src/lib.rs
+++ b/z3/src/lib.rs
@@ -168,8 +168,8 @@ pub struct FuncDecl<'ctx> {
 /// # See also:
 ///
 /// - [`RecFuncDecl::add_def`]
-// Note for in-crate users: Never construct a `FuncDecl` directly; only use
-// `FuncDecl::new()` which handles Z3 refcounting properly.
+// Note for in-crate users: Never construct a `RecFuncDecl` directly; only use
+// `RecFuncDecl::new()` which handles Z3 refcounting properly.
 pub struct RecFuncDecl<'ctx> {
     ctx: &'ctx Context,
     z3_func_decl: Z3_func_decl,