From acaaab6e33844496c29a13b0535b3bb0a3732018 Mon Sep 17 00:00:00 2001
From: Yoni Zohar <yoni206@gmail.com>
Date: Thu, 21 Nov 2024 10:35:48 +0200
Subject: [PATCH] minor

---
 src/api/python/cvc5.pxi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi
index 9241761aaf8..86b54c87709 100644
--- a/src/api/python/cvc5.pxi
+++ b/src/api/python/cvc5.pxi
@@ -4316,7 +4316,7 @@ cdef class Solver:
 	    this function
             determines a term :math:`I`
 	    over the shared variables of 
-            :math`A` and :math`B`,
+            :math:`A` and :math:`B`,
 	    optionally with respect to a
             a given grammar, such that :math:`A \\rightarrow I` and
             :math:`I \\rightarrow B` are valid, if such a term exits.