projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95d2c59) | patch
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)
commit8002adccc9451bced0b1eaf6980e6fa6c20010fb
tree4be9420198757694ba22dba09016e8e51d7c79fatree
parent95d2c5905a913bfe2966f7d4c99e2b9f63f6d684commit | diff
Use Add instead of Plus (#8043)

This fixes the current documentation builds for the pythonic API
docs/api/python/pythonic/arith.rst diff | blob | history