projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc61a1d) | patch
Properly set __file__ in python bindings (#7867)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 5 Jan 2022 16:26:00 +0000 (18:26 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Jan 2022 16:26:00 +0000 (08:26 -0800)
commitd36cbc3f805bab13dfd9b4b4849df5ada582b847
tree4492782d005e117891f906dbac1c85102a131b34tree
parentbc61a1d1b0fa893ecfb4f62557916357773b5987commit | diff
Properly set __file__ in python bindings (#7867)

When running make docs after changing the documentation in cvc5.pxi, the html files are not updated. This PR fixes this issue.

Co-authored-by: Gereon Kremer gereon.kremer@cs.rwth-aachen.de
src/api/python/__init__.py.in diff | blob | history