From 633faa6c4fe70a508b107fe03bbae5c137e49744 Mon Sep 17 00:00:00 2001
From: Federico Ponzi <me@fponzi.me>
Date: Thu, 12 Dec 2024 21:14:00 +0000
Subject: [PATCH] Rename error trace to the more user friendly Counterexample

Signed-off-by: Federico Ponzi <me@fponzi.me>
---
 src/webview/checkResultView/errorTraceSection/errorTrace.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/webview/checkResultView/errorTraceSection/errorTrace.tsx b/src/webview/checkResultView/errorTraceSection/errorTrace.tsx
index 1bd058f..f1f7705 100644
--- a/src/webview/checkResultView/errorTraceSection/errorTrace.tsx
+++ b/src/webview/checkResultView/errorTraceSection/errorTrace.tsx
@@ -16,7 +16,7 @@ export const ErrorTrace = React.memo(({errorInfo, traceId}: ErrorTraceI) => {
 
     return (
         <>
-            <VSCodePanelTab id={`error-trace-tab-${traceId}`}> Error Trace {traceId} </VSCodePanelTab>
+            <VSCodePanelTab id={`error-trace-tab-${traceId}`}> Counterexample {traceId} </VSCodePanelTab>
             <VSCodePanelView id={`error-trace-view-${traceId}`} className="flex-direction-column">
                 <div className="error-trace-options">
                     <VSCodeTextField onChange={(e) => setFilter(e.currentTarget.value)} placeholder="Filter">