Minor fix in java docs. (cvc5#11342)

ajreynol · Nov 6, 2024 · a3f0848 · a3f0848
1 parent 6ba9aa3
commit a3f0848
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/java/io/github/cvc5/Solver.java b/src/api/java/io/github/cvc5/Solver.java
@@ -3129,7 +3129,7 @@ public void pop(int nscopes) throws CVC5ApiException
    *
    * SMT-LIB:
    * {@code
-   * ( get-interpolant <xsymbol> <conj> )
+   * ( get-interpolant <symbol> <conj> )
    * }
    *
    * @api.note In SMT-LIB, {@code <symbol>} assigns a symbol to the interpolant.