Merge pull request #11523 from haslinghuis/remove_duplicate
commitf5a56804b1385b78cfd15cd5f9bdae37a3db1a80
authorJan Post <post@stud.tu-darmstadt.de>
Fri, 15 Apr 2022 22:37:40 +0000 (16 00:37 +0200)
committerGitHub <noreply@github.com>
Fri, 15 Apr 2022 22:37:40 +0000 (16 00:37 +0200)
tree8862fc43f767031a329f9b9ba89ae9bbf2b9ac28
parent9360ab1276c8b8b4307e4baebfbe8014032819c1
parente74dbcfd458f7c2990cc640f7986cb1cc63424d6
Merge pull request #11523 from haslinghuis/remove_duplicate

Remove duplicate line in unit test