insert new lines

This commit is contained in:
Vighnesh 2024-10-11 15:23:33 -07:00
parent b76941b678
commit 848fa0be8e

View File

@ -944,14 +944,17 @@ std::vector<std::pair<TypeId, TypeId>>::const_reverse_iterator DifferEnvironment
return visitingStack.crend();
}
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
DifferResult diff(TypeId ty1, TypeId ty2)
{
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
DifferEnvironment differEnv{ty1, ty2, std::nullopt, std::nullopt};
#pragma GCC diagnostic pop
return diffUsingEnv(differEnv, ty1, ty2);
}
#pragma GCC diagnostic pop
DifferResult diffWithSymbols(TypeId ty1, TypeId ty2, std::optional<std::string> symbol1, std::optional<std::string> symbol2)