From f583df0715165f31dce81771ac02ddbdbf601ac1 Mon Sep 17 00:00:00 2001 From: yoni206 Date: Fri, 29 Apr 2022 06:38:35 +0300 Subject: [PATCH] Add missing parenthesis for bags documentation (#8673) --- docs/theories/bags.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/theories/bags.rst b/docs/theories/bags.rst index 597885162..a18a66de2 100644 --- a/docs/theories/bags.rst +++ b/docs/theories/bags.rst @@ -17,7 +17,7 @@ a `cvc5::Solver solver` object. +----------------------+----------------------------------------------+-------------------------------------------------------------------------+ | Sort | ``(Bag )`` | ``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)});`` | -- 2.30.2