projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2675f8) | patch
Fix some python docstrings which lead to sphinx warnings (#7293)
authorGereon Kremer <nafur42@gmail.com>
Fri, 1 Oct 2021 19:40:15 +0000 (12:40 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Oct 2021 19:40:15 +0000 (12:40 -0700)
commita673f93d1fe80c5a3198d586fd73f08c92246beb
tree4f918991ad1ad1bdc6f355476942785727e708f0tree
parente2675f8a1eb18be5697493d89ac97347e598c57dcommit | diff
Fix some python docstrings which lead to sphinx warnings (#7293)

This PR fixes some docstrings that are not properly indented for sphinx.
src/api/python/cvc5.pxi diff | blob | history