fix Exercise statement

1 year ago · 8e4c993bd7
parent b70ac78cf7
commit 8e4c993bd7
1 changed files with 1 additions and 3 deletions
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@ -137,9 +137,7 @@ function ExerciseStatement({ data, showLeanStatement = false }) {
    <div className="exercise-statement">
      {data?.descrText &&
        <Markdown>
-          {data?.displayName ? `**Theorem** \`${data?.displayName}\`: ` : "" // data?.descrText && "**Exercise**: "
-            + data?.descrText
-          }
+          {(data?.displayName ? `**Theorem** \`${data?.displayName}\`: ` : '') + data?.descrText}
        </Markdown>
      }
      {data?.descrFormat && showLeanStatement &&