diff --git a/cypress/e2e/spec.cy.ts b/cypress/e2e/spec.cy.ts index 31b2ea19..a37fd9dc 100644 --- a/cypress/e2e/spec.cy.ts +++ b/cypress/e2e/spec.cy.ts @@ -203,7 +203,7 @@ describe("The Editor", () => { cy.on("window:confirm", alertShown); cy.visit("/"); cy.get("div.view-line").type( - "import Mathlib.Logic.Basic #check Classical.em", + "import Mathlib.Logic.Basic\n#check Classical.em", ); cy.get(".squiggly-info");