From: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date: Thu, 31 Mar 2022 22:48:55 +0000 (-0500)
Subject: Fix bag example links (#8504)
X-Git-Tag: cvc5-1.0.0~82
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=89ebfd30cfbd25ace82ab6b048995e67a26a000d;p=cvc5.git

Fix bag example links (#8504)
---

diff --git a/docs/theories/bags.rst b/docs/theories/bags.rst
index d29d3905e..6666015ae 100644
--- a/docs/theories/bags.rst
+++ b/docs/theories/bags.rst
@@ -83,7 +83,7 @@ Below is a more extensive example on how to use finite bags:
 
 .. api-examples::
     <examples>/api/cpp/bags.cpp
-    <examples>/api/cpp/Bags.java
-    <examples>/api/cpp/bags.py
+    <examples>/api/java/Bags.java
+    <examples>/api/python/bags.py
     <examples>/api/smtlib/bags.smt2