From 7415e505d3de55a80d987f77e085632fbf754dce Mon Sep 17 00:00:00 2001
From: Michele Qirici <qiricimichele@gmail.com>
Date: Sun, 30 Aug 2026 10:47:57 +0200
Subject: [PATCH] fix: translate Infoview exercise descriptions

---
 client/src/components/infoview/main.tsx | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx
index b5e9fff7..a9ea64e0 100644
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@@ -141,7 +141,6 @@ function DualEditorMain() {
 function ExerciseStatement({ showLeanStatement = false }) {
   const { t : gT } = useGameTranslation()
   const { t } = useTranslation()
-  const [gameId] = useAtom(gameIdAtom)
   const [{ data: levelInfo }] = useAtom(levelInfoAtom)
 
   if (!(levelInfo?.descrText || levelInfo?.descrFormat)) { return <></> }
@@ -149,7 +148,7 @@ function ExerciseStatement({ showLeanStatement = false }) {
     <div className="exercise-statement">
       {levelInfo?.descrText ?
         <Markdown>
-          {(levelInfo?.displayName ? `**${t("Theorem")}** \`${levelInfo?.displayName}\`: ` : '') + t(levelInfo?.descrText, {ns: gameId})}
+          {(levelInfo?.displayName ? `**${t("Theorem")}** \`${levelInfo?.displayName}\`: ` : '') + gT(levelInfo?.descrText)}
         </Markdown> : levelInfo?.displayName &&
         <Markdown>
           {(levelInfo?.displayName ? `**${t("Theorem")}** \`${levelInfo?.displayName}\`: ` : '') + gT(levelInfo?.descrText ?? "")}