From 45ac017d4ed664ffbec7cba0fbca5bb1c1b9e476 Mon Sep 17 00:00:00 2001 From: Yoni Zohar Date: Thu, 21 Nov 2024 10:03:10 +0200 Subject: [PATCH] another fix --- include/cvc5/c/cvc5.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/cvc5/c/cvc5.h b/include/cvc5/c/cvc5.h index 561050d9aa3..e65c4bc2cb1 100644 --- a/include/cvc5/c/cvc5.h +++ b/include/cvc5/c/cvc5.h @@ -4865,7 +4865,7 @@ CVC5_EXPORT Cvc5Term cvc5_get_interpolant(Cvc5* cvc5, Cvc5Term conj); /** * Get an interpolant * - * Given that @f$A->B@f$ is valid, + * Given that @f$A \rightarrow B@f$ is valid, * this function determines a term @f$I@f$ * over the shared variables of @f$A@f$ and @f$B@f$, * with respect to a given grammar, such that