update missing features

yoni206 · Aug 4, 2023 · 8c19663 · 8c19663
1 parent 5106bde
commit 8c19663
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/api/python/pythonic/pythonic.rst b/docs/api/python/pythonic/pythonic.rst
@@ -12,7 +12,7 @@ This API is missing some features from cvc5 and Z3Py.
 
 It does not (currently) support these cvc5 features:
 
-* The theories of strings, sequences and bags
+* The theory of bags
 * unsatisfiable cores
 * syntax-guided synthesis (SyGuS)