fixup name-duplication checking

Signed-off-by: Folling <mail@folling.io>
This commit is contained in:
Folling 2024-02-12 15:49:26 +01:00 committed by Folling
parent dffdef6728
commit d0a0151db7
No known key found for this signature in database
3 changed files with 3 additions and 3 deletions

View file

@ -97,7 +97,7 @@ name_is_unique(IkarusProject const * project, std::string_view name, IkarusPrope
}
[[nodiscard]] inline bool
name_is_unique(IkarusProject * project, std::string_view name, IkarusProperty const * property, IkarusErrorData * error_out) {
name_is_unique(IkarusProject const * project, std::string_view name, IkarusProperty const * property, IkarusErrorData * error_out) {
std::unique_ptr<IkarusPropertyScope const> scope{ikarus_property_get_scope(property, error_out)};
IKARUS_FAIL_IF_ERROR(false);