From 8e36325f720c3a4cbad59b8014bb352541d53df9 Mon Sep 17 00:00:00 2001
From: Arthur van de Vondervoort <arthur.vandevondervoort@vanroey.be>
Date: Tue, 5 Dec 2023 16:44:17 +0100
Subject: [PATCH] Correct naming (Table vs Record)

---
 Design/Rule0039ArgumentDifferentTypeThenExpected.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Design/Rule0039ArgumentDifferentTypeThenExpected.cs b/Design/Rule0039ArgumentDifferentTypeThenExpected.cs
index b0dd1a8b..368e1fb2 100644
--- a/Design/Rule0039ArgumentDifferentTypeThenExpected.cs
+++ b/Design/Rule0039ArgumentDifferentTypeThenExpected.cs
@@ -96,7 +96,7 @@ private void AnalyzeTableReferencePageProvider(SymbolAnalysisContext ctx)
                 if (pageSourceTable == null) continue;
 
                 if (!AreTheSameNavObjects(table, pageSourceTable))
-                    ctx.ReportDiagnostic(Diagnostic.Create(DiagnosticDescriptors.Rule0039ArgumentDifferentTypeThenExpected, pageReference.GetLocation(), new object[] { 1, table.GetTypeSymbol().ToString(), pageSourceTable.GetNavTypeKindSafe() + " \"" + pageSourceTable.Name + "\"" }));
+                    ctx.ReportDiagnostic(Diagnostic.Create(DiagnosticDescriptors.Rule0039ArgumentDifferentTypeThenExpected, pageReference.GetLocation(), new object[] { 1, table.GetTypeSymbol().GetNavTypeKindSafe() + " \"" + table.Name + "\"", pageSourceTable.GetNavTypeKindSafe() + " \"" + pageSourceTable.Name + "\"" }));
             }
         }