api: Fix formatting of docs for Term::getSetValue(). (#7914)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 11 Jan 2022 16:25:00 +0000 (08:25 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 16:25:00 +0000 (16:25 +0000)
commitac0c6dea9bac470813685dfb8dd12576fa20686f
tree8dee15337bca24c59634c168116d997f775ca733
parentbbd00db10f2d8801212863a85b04bfd17955086c
api: Fix formatting of docs for Term::getSetValue(). (#7914)
docs/ext/smtliblexer.py
src/api/cpp/cvc5.h