Skip to content

Commit

Permalink
Nit change
Browse files Browse the repository at this point in the history
  • Loading branch information
@Marinovsky
Marinovsky committed Jul 15, 2024
1 parent 28a6368 commit 6ec7410
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion lean/components/util/live_utils.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,6 @@
from lean.components.util.logger import Logger
from lean.models.json_module import LiveInitialStateInput, JsonModule
from collections import UserDict
from typing import Any


class InsensitiveCaseDict(UserDict):
Expand Down

0 comments on commit 6ec7410

Please sign in to comment.