[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

python/egg_smol/egraph.py

@@ -727,6 +727,7 @@ def simplify(self, expr: EXPR, limit: int, *until: Fact) -> EXPR:
         """
         return self._egraph._simplify(expr, limit, self, until)
 
+
 # We use these builders so that when creating these structures we can type check
 # if the arguments are the same type of expression