From 5755811ae3673f6101048b4cdd7c4efb398a7faa Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Mon, 5 Aug 2024 10:19:19 +0200 Subject: [PATCH] [goal-view] Correct unshelve message --- client/goal-view-ui/src/components/templates/ProovViewPage.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/goal-view-ui/src/components/templates/ProovViewPage.tsx b/client/goal-view-ui/src/components/templates/ProovViewPage.tsx index dc4b67be..e6d6cc67 100644 --- a/client/goal-view-ui/src/components/templates/ProovViewPage.tsx +++ b/client/goal-view-ui/src/components/templates/ProovViewPage.tsx @@ -47,7 +47,7 @@ const proofViewPage: FunctionComponent = (props) => { collapseGoalHandler={(id) => collapseGoalHandler(id, ProofViewGoalsKey.main)} displaySetting={displaySetting} emptyMessage={ - goals!.shelved.length ? "There are shelved goals. Try using unshelved" : + goals!.shelved.length ? "There are shelved goals. Try using `Unshelve.`" : goals!.givenUp.length ? "There are some goals you gave up. Go back and solve them, or use `Admitted.`" : "There are no more subgoals" }