projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 95d2c59)
Use Add instead of Plus (#8043)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 4 Feb 2022 01:19:08 +0000 (17:19 -0800)
committerGitHub <noreply@github.com>
Fri, 4 Feb 2022 01:19:08 +0000 (01:19 +0000)
This fixes the current documentation builds for the pythonic API

docs/api/python/pythonic/arith.rst patch | blob | history

diff --git a/docs/api/python/pythonic/arith.rst b/docs/api/python/pythonic/arith.rst
index 38ecf4ea53b99bb0223a0a05284f167271d728a4..84f31b5aeccb8b8c6353d255c01b9b7ea23c0a51 100644 (file)
--- 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