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

pre-commit-ci[bot] · pre-commit-ci[bot] · commit 4cb65998142e · 2025-11-03T20:27:48.000Z
for more information, see https://pre-commit.ci
diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py
@@ -1883,7 +1883,7 @@ def run(ruleset: Ruleset | None = None, *until: FactLike, scheduler: BackOff | N
         Thunk.fn(Declarations.create, ruleset, *facts),
         RunDecl(
             ruleset.__egg_ident__ if ruleset else Ident(""),
-            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
`@@ -1883,7 +1883,7 @@ def run(ruleset: Ruleset \| None = None, *until: FactLike, scheduler: BackOff \| N`
`1883`	`1883`	`Thunk.fn(Declarations.create, ruleset, *facts),`
`1884`	`1884`	`RunDecl(`
`1885`	`1885`	`ruleset.__egg_ident__ if ruleset else Ident(""),`
`1886`		`- tuple(f.fact for f in facts) or None,`
	`1886`	`+ tuple(f.fact for f in facts),`
`1887`	`1887`	`scheduler.scheduler if scheduler else None,`
`1888`	`1888`	`),`
`1889`	`1889`	`)`