Skip to content

Commit de63588

Browse files
authored
Fix run_smir for seed=0 (#796)
1 parent d6a8dac commit de63588

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

kmir/src/kmir/kmir.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -154,7 +154,7 @@ def run_smir(
154154
seed: int | None = None,
155155
) -> Pattern:
156156
smir_info = smir_info.reduce_to(start_symbol)
157-
mode = RandomMode(seed) if seed else ConcreteMode()
157+
mode = RandomMode(seed) if seed is not None else ConcreteMode()
158158
init_config, _ = make_call_config(
159159
self.definition,
160160
smir_info=smir_info,

0 commit comments

Comments
 (0)