make FlatType Copy

This commit is contained in:
Folkert 2022-03-06 18:08:32 +01:00
parent 41e56519ef
commit 29bf4195a1
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 41 additions and 10 deletions

View file

@ -1091,7 +1091,8 @@ fn type_to_variable<'a>(
result
}
Erroneous(problem) => {
let content = Content::Structure(FlatType::Erroneous(Box::new(problem.clone())));
let problem_index = SubsIndex::push_new(&mut subs.problems, problem.clone());
let content = Content::Structure(FlatType::Erroneous(problem_index));
register(subs, rank, pools, content)
}