Pre: clone alias_counter into concretes.
This ensures that concrete CC clones don't have overlapping counts.
This commit is contained in:
parent
b9f9b4ff58
commit
33fa1261b8
1 changed files with 1 additions and 0 deletions
|
@ -212,6 +212,7 @@ impl ConjoiningClauses {
|
||||||
let mut concrete = ConjoiningClauses::default();
|
let mut concrete = ConjoiningClauses::default();
|
||||||
concrete.empty_because = self.empty_because.clone();
|
concrete.empty_because = self.empty_because.clone();
|
||||||
|
|
||||||
|
concrete.alias_counter = self.alias_counter.clone();
|
||||||
concrete.input_variables = self.input_variables.clone();
|
concrete.input_variables = self.input_variables.clone();
|
||||||
concrete.value_bindings = self.value_bindings.clone();
|
concrete.value_bindings = self.value_bindings.clone();
|
||||||
concrete.known_types = self.known_types.clone();
|
concrete.known_types = self.known_types.clone();
|
||||||
|
|
Loading…
Reference in a new issue