Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-15 13:08:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Fix missing namespace that was causing a build error

Browse source
This commit is contained in:
Tim Wojtulewicz 2020-02-06 16:29:51 -05:00
parent 66c4a93383
commit 9bfe162cad
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/DbgBreakpoint.h
View file

@ -21,7 +21,7 @@ public:
void SetID(int newID) { BPID = newID; }
// True if breakpoint could be set; false otherwise
bool SetLocation(ParseLocationRec plr, string_view loc_str);
bool SetLocation(ParseLocationRec plr, std::string_view loc_str);
bool SetLocation(Stmt* stmt);
bool SetLocation(double time);