Skip to content

Commit 7ee2c8b

Browse files
committed
Fix name set list
1 parent e279525 commit 7ee2c8b

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

pyreason/pyreason.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1147,7 +1147,7 @@ def add_fact(pyreason_fact: Fact) -> None:
11471147
if pyreason_fact.name is None:
11481148
pyreason_fact.name = f'fact_{len(__node_facts)+len(__edge_facts)}'
11491149

1150-
if pyreason_fact.name in __node_facts_name_set:
1150+
if pyreason_fact.name in __facts_name_set:
11511151
warnings.warn(f"Fact {pyreason_fact.name} has already been added. Duplicate fact names will lead to an ambiguous node and atom traces.", stacklevel=2)
11521152

11531153
f = fact_node.Fact(pyreason_fact.name, pyreason_fact.component, pyreason_fact.pred, pyreason_fact.bound, pyreason_fact.start_time, pyreason_fact.end_time, pyreason_fact.static)
@@ -1157,7 +1157,7 @@ def add_fact(pyreason_fact: Fact) -> None:
11571157
if pyreason_fact.name is None:
11581158
pyreason_fact.name = f'fact_{len(__node_facts)+len(__edge_facts)}'
11591159

1160-
if pyreason_fact.name in __node_facts_name_set:
1160+
if pyreason_fact.name in __facts_name_set:
11611161
warnings.warn(f"Fact {pyreason_fact.name} has already been added. Duplicate fact names will lead to an ambiguous node and atom traces.", stacklevel=2)
11621162

11631163
f = fact_edge.Fact(pyreason_fact.name, pyreason_fact.component, pyreason_fact.pred, pyreason_fact.bound, pyreason_fact.start_time, pyreason_fact.end_time, pyreason_fact.static)

0 commit comments

Comments
 (0)