chore: fix a typo in def name getOptionDefaulValue

renamed to getOptionDefaultValue

src/Lean/Data/Options.lean

@@ -51,7 +51,7 @@ def getOptionDecl (name : Name) : IO OptionDecl := do
   let (some decl) ← pure (decls.find? name) | throw $ IO.userError s!"unknown option '{name}'"
   pure decl
 
-def getOptionDefaulValue (name : Name) : IO DataValue := do
+def getOptionDefaultValue (name : Name) : IO DataValue := do
   let decl ← getOptionDecl name
   pure decl.defValue
 
@@ -63,7 +63,7 @@ def setOptionFromString (opts : Options) (entry : String) : IO Options := do
   let ps := (entry.splitOn "=").map String.trim
   let [key, val] ← pure ps | throw $ IO.userError "invalid configuration option entry, it must be of the form '<key> = <value>'"
   let key := Name.mkSimple key
-  let defValue ← getOptionDefaulValue key
+  let defValue ← getOptionDefaultValue key
   match defValue with
   | DataValue.ofString _ => pure $ opts.setString key val
   | DataValue.ofBool _   =>