From af7a4de258d777e4ab59edd63e7e6e3b56a7aa0d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 May 2026 18:18:18 -0700
Subject: [PATCH] update ignore

---
 .gitignore                | 6 ++++++
 src/api/dotnet/Context.cs | 4 ++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 517fd3159..2d268c988 100644
--- a/.gitignore
+++ b/.gitignore
@@ -118,3 +118,9 @@ bazel-*
 # Local issue tracking
 .beads
 .z3-agent/
+.playwright*/
+.atomic/
+.deepscan/
+.deeptest/
+tptp_test/
+tptp_benchmarks/
diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index e279bb9c9..cba223f14 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -585,7 +585,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a polymorphic datatype sort with explicit type parameters.
-        /// Type parameters should be sorts created with <see cref="MkTypeVariable"/>.
+        /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
         /// <param name="typeParams">array of type variable sorts</param>
@@ -608,7 +608,7 @@ namespace Microsoft.Z3
 
         /// <summary>
         /// Create a polymorphic datatype sort with explicit type parameters.
-        /// Type parameters should be sorts created with <see cref="MkTypeVariable"/>.
+        /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
         /// </summary>
         /// <param name="name">name of the datatype sort</param>
         /// <param name="typeParams">array of type variable sorts</param>