diff options
| -rwxr-xr-x | tools/generate-operator-out.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/generate-operator-out.py b/tools/generate-operator-out.py index 23d6d3ec57..88753b55fb 100755 --- a/tools/generate-operator-out.py +++ b/tools/generate-operator-out.py @@ -104,7 +104,7 @@ def ProcessFile(filename): continue # Strip // comments. - line = re.sub(r'//.*', '', raw_line) + line = re.sub(r'^ *//.*', '', raw_line) # Strip whitespace. line = line.strip() |