From: Gereon Kremer <gkremer@stanford.edu>
Date: Fri, 4 Feb 2022 01:19:08 +0000 (-0800)
Subject: Use Add instead of Plus (#8043)
X-Git-Tag: cvc5-1.0.0~454
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8002adccc9451bced0b1eaf6980e6fa6c20010fb;p=cvc5.git

Use Add instead of Plus (#8043)

This fixes the current documentation builds for the pythonic API
---

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