From 89ebfd30cfbd25ace82ab6b048995e67a26a000d Mon Sep 17 00:00:00 2001
From: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date: Thu, 31 Mar 2022 17:48:55 -0500
Subject: [PATCH] Fix bag example links (#8504)

---
 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 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
 
-- 
2.30.2