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

pre-commit-ci[bot] · pre-commit-ci[bot] · commit eb59d0bd9198 · 2025-10-27T20:04:40.000Z
for more information, see https://pre-commit.ci
diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py
@@ -1852,7 +1852,7 @@ def run(ruleset: Ruleset | None = None, *until: FactLike, scheduler: BackOff | N
         Thunk.fn(Declarations.create, ruleset, *facts),
         RunDecl(
             ruleset.__egg_name__ if ruleset else "",
-            tuple(f.fact for f in facts) or None,
+            tuple(f.fact for f in facts),
             scheduler.scheduler if scheduler else None,
         ),
     )

Original file line number	Diff line number	Diff line change
`@@ -1852,7 +1852,7 @@ def run(ruleset: Ruleset \| None = None, *until: FactLike, scheduler: BackOff \| N`
`1852`	`1852`	`Thunk.fn(Declarations.create, ruleset, *facts),`
`1853`	`1853`	`RunDecl(`
`1854`	`1854`	`ruleset.__egg_name__ if ruleset else "",`
`1855`		`- tuple(f.fact for f in facts) or None,`
	`1855`	`+ tuple(f.fact for f in facts),`
`1856`	`1856`	`scheduler.scheduler if scheduler else None,`
`1857`	`1857`	`),`
`1858`	`1858`	`)`