mirror of
https://github.com/zeek/zeek.git
synced 2025-10-05 08:08:19 +00:00
Use namespaced version of Location to silence warnings
This commit is contained in:
parent
9fc48df7fd
commit
e1c339c962
1 changed files with 2 additions and 2 deletions
|
@ -201,13 +201,13 @@ using BroObj [[deprecated("Remove in v4.1. Use zeek::Obj instead.")]] = zeek::Ob
|
||||||
extern void print(const zeek::Obj* obj);
|
extern void print(const zeek::Obj* obj);
|
||||||
|
|
||||||
[[deprecated("Remove in v4.1. Use zeek::detail::set_location instead.")]]
|
[[deprecated("Remove in v4.1. Use zeek::detail::set_location instead.")]]
|
||||||
inline void set_location(const Location loc)
|
inline void set_location(const zeek::detail::Location loc)
|
||||||
{
|
{
|
||||||
zeek::detail::set_location(loc);
|
zeek::detail::set_location(loc);
|
||||||
}
|
}
|
||||||
|
|
||||||
[[deprecated("Remove in v4.1. Use zeek::detail::set_location instead.")]]
|
[[deprecated("Remove in v4.1. Use zeek::detail::set_location instead.")]]
|
||||||
inline void set_location(const Location start, const Location end)
|
inline void set_location(const zeek::detail::Location start, const zeek::detail::Location end)
|
||||||
{
|
{
|
||||||
zeek::detail::set_location(start, end);
|
zeek::detail::set_location(start, end);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue