remove 'Exercise' word #123

1 year ago · b6bc77828d
parent ceee1b38e1
commit b6bc77828d
1 changed files with 3 additions and 1 deletions
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@ -140,7 +140,9 @@ 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 && "**Exercise**: "
+            + data?.descrText
+          }
        </Markdown>
      }
      {data?.descrFormat && showLeanStatement &&