From 8002adccc9451bced0b1eaf6980e6fa6c20010fb Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Thu, 3 Feb 2022 17:19:08 -0800 Subject: [PATCH] Use Add instead of Plus (#8043) This fixes the current documentation builds for the pythonic API --- docs/api/python/pythonic/arith.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/api/python/pythonic/arith.rst b/docs/api/python/pythonic/arith.rst index 38ecf4ea5..84f31b5ae 100644 --- a/docs/api/python/pythonic/arith.rst +++ b/docs/api/python/pythonic/arith.rst @@ -62,7 +62,7 @@ equal (``==``) not equal (``!=``) :py:meth:`cvc5_z3py_compat.ExprRef.__ne__` -.. autofunction:: cvc5_z3py_compat.Plus +.. autofunction:: cvc5_z3py_compat.Add .. autofunction:: cvc5_z3py_compat.Mult .. autofunction:: cvc5_z3py_compat.Sub .. autofunction:: cvc5_z3py_compat.UMinus -- 2.30.2