| 1940 | } |
| 1941 | } |
| 1942 | bool Workspace_Impl::resolvePotentialNameConflicts(Workspace& other) { |
| 1943 | return resolvePotentialNameConflicts(other, std::vector<unsigned>()); |
| 1944 | } |
| 1945 | |
| 1946 | bool Workspace_Impl::resolvePotentialNameConflicts(Workspace& other, const std::vector<unsigned>& toIgnore) { |
| 1947 | bool changeMade = false; |
no test coverage detected