max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(util/name): segfault on name() == "foo"

Browse source 
Fixes #1505
This commit is contained in:
Sebastian Ullrich 2017-04-03 12:30:20 +02:00
parent 7e7a4e01ab
commit 7ac2f1be89
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/name.cpp
View file

@ -203,7 +203,7 @@ bool is_prefix_of(name const & n1, name const & n2) {
}
bool operator==(name const & a, char const * b) {
return a.m_ptr->m_is_string && strcmp(a.m_ptr->m_str, b) == 0;
return a.m_ptr && a.m_ptr->m_is_string && strcmp(a.m_ptr->m_str, b) == 0;
}
int cmp(name::imp * i1, name::imp * i2) {