another fix

yoni206 · Nov 21, 2024 · 45ac017 · 45ac017
1 parent 9e2efe2
commit 45ac017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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