Fix bag example links (#8504)

diff --git a/docs/theories/bags.rst b/docs/theories/bags.rst
index d29d3905efd5a29f115fa44391ab071521b64ecc..6666015aeb0470d3dc7d7919a9aac6db8368595d 100644 (file)
--- 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