Add missing parenthesis for bags documentation (#8673)

diff --git a/docs/theories/bags.rst b/docs/theories/bags.rst
index 5978851627af8219a33ae9b43f620fa0ef0d2f6b..a18a66de23fc58f257fcb25e8ba5e53d12c3b87b 100644 (file)
--- a/docs/theories/bags.rst
+++ b/docs/theories/bags.rst
@@ -17,7 +17,7 @@ a `cvc5::Solver solver` object.
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
 | Sort                 | ``(Bag <Sort>)``                             | ``solver.mkBagSort(cvc5::Sort elementSort);``                           |
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
-| Constants            | ``(declare-const X (Bag String)``            | ``Sort s = solver.mkBagSort(solver.getStringSort());``                  |
+| Constants            | ``(declare-const X (Bag String))``            | ``Sort s = solver.mkBagSort(solver.getStringSort());``                 |
 |                      |                                              |                                                                         |
 |                      |                                              | ``Term X = solver.mkConst(s, "X");``                                    |
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
@@ -41,7 +41,7 @@ a `cvc5::Solver solver` object.
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
 | Subbag               | ``(bag.subbag X Y)``                         | ``Term t = solver.mkTerm(Kind::BAG_SUBBAG, {X, Y});``                   |
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
-| Emptybag             | ``(as bag.empty (Bag Int)``                  | ``Term t = solver.mkEmptyBag(s);``                                      |
+| Emptybag             | ``(as bag.empty (Bag Int))``                  | ``Term t = solver.mkEmptyBag(s);``                                     |
 +----------------------+----------------------------------------------+-------------------------------------------------------------------------+
 | Make bag             | ``(bag "a" 3)``                              | ``Term t = solver.mkTerm(Kind::BAG_MAKE,``                              |
 |                      |                                              |            ``{solver.mkString("a"), solver.mkInteger(1)});``            |