refactor: rename Utils->Util

Author: sgraf812

src/Lean/Elab/Tactic/Do/Internal/VCGen.lean

@@ -12,7 +12,7 @@ public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruct.Spec
 public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruct.Simp
 public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruct.Logic
 public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruct.Match
-public import Lean.Elab.Tactic.Do.Internal.VCGen.Utils
+public import Lean.Elab.Tactic.Do.Internal.VCGen.Util
 public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache
 public import Lean.Elab.Tactic.Do.Internal.VCGen.EPost
 public import Lean.Elab.Tactic.Do.Internal.VCGen.Solve

src/Lean/Elab/Tactic/Do/Internal/VCGen/Solve.lean

@@ -18,7 +18,7 @@ public meta import Lean.Elab.Tactic.Basic
 public meta import Lean.Elab.Tactic.Do.Attr
 public import Lean.Meta.Sym.AlphaShareBuilder
 public import Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache
-public import Lean.Elab.Tactic.Do.Internal.VCGen.Utils
+public import Lean.Elab.Tactic.Do.Internal.VCGen.Util
 public import Lean.Elab.Tactic.Do.Internal.VCGen.EPost
 
 open Lean Meta Elab Tactic Sym Internal Std.Internal Do Internal.SpecAttr