Invalid Lake configuration

Stream: new members

[tsuki hao]

error: .\lake-packages\proofwidgets\lakefile.lean: package configuration has errors
Invalid Lake configuration.  Please restart the server after fixing the Lake configuration file.

Can I ask why this error occurs, I was able to use lean4 fine yesterday

[Scott Morrison]

It sounds like you have modified your lakefile.lean!

[Scott Morrison]

• look at your lakefile.lean and see if you can see what you did
• look at the git history of your lakefile.lean?
• post the contents of your lakefile.lean here and ask someone to help you diagnose the problem.

[tsuki hao]

import Lake
open Lake DSL

package «sadf» {
  -- add any package configuration options here
}

require mathlib from git
  "https://github.com/leanprover-community/mathlib4.git"

@[default_target]
lean_lib «Sadf» {
  -- add any library configuration options here
}

The content of my lakefile.lean is like this, I didn't modify it as far as I remember