From ef165b70457080faa92b9668d1c0abc955e42e1f Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Fri, 14 Mar 2025 16:47:46 -0700 Subject: [PATCH] fix(frontend): Test update --- Test/Integration.lean | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Test/Integration.lean b/Test/Integration.lean index 9815954..fc2f80b 100644 --- a/Test/Integration.lean +++ b/Test/Integration.lean @@ -173,6 +173,8 @@ def test_frontend_process : Test := [ ("file", .str file), ("invocations", .bool true), + ("readHeader", .bool false), + ("inheritEnv", .bool false), ("sorrys", .bool false), ("typeErrorsAsGoals", .bool false), ("newConstants", .bool false), @@ -214,6 +216,8 @@ def test_frontend_process_sorry : Test := step "frontend.process" [ ("file", .str file), + ("readHeader", .bool false), + ("inheritEnv", .bool false), ("invocations", .bool false), ("sorrys", .bool true), ("typeErrorsAsGoals", .bool false),