diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx
index 1160f87..5901665 100644
--- a/client/src/components/infoview/main.tsx
+++ b/client/src/components/infoview/main.tsx
@@ -477,6 +477,6 @@ export function CommandLineInterface(props: { world: string, level: number, data
         </>
       : <CircularProgress />}
     </div>
-    <CommandLine proofPanelRef={proofPanelRef} hidden={proof[proof.length - 1]?.goals.length == 0}/>
+    <CommandLine proofPanelRef={proofPanelRef} hidden={!withErr && proof[proof.length - 1]?.goals.length == 0}/>
   </div>
 }