🔀 merge from develop

This commit is contained in:
Niels Lohmann 2020-06-27 13:16:20 +02:00
parent ac3922c7aa
commit d7a2956b24
No known key found for this signature in database
GPG key ID: 7F3CEA63AE251B69
3 changed files with 626 additions and 625 deletions

View file

@ -1511,7 +1511,7 @@ scan_number_done:
skip_whitespace();
// ignore comments
if (ignore_comments and current == '/')
if (ignore_comments && current == '/')
{
if (not scan_comment())
{

File diff suppressed because it is too large Load diff