Merge pull request #468 from mithro/master

Fix indenting in mergedb.py
This commit is contained in:
John McMaster 2019-01-09 10:03:32 +01:00 committed by GitHub
commit 1b98f5d1a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

View File

@ -34,10 +34,10 @@ def run(fn_ins, fn_out, strict=False, verbose=False):
print(" New line : %s" % line)
assert not strict, "strict: got duplicate bits"
entries[tag] = bits
tags[tag] = (bits, line)
if bits != None:
bitss[bits] = (tag, line)
entries[tag] = bits
tags[tag] = (bits, line)
if bits != None:
bitss[bits] = (tag, line)
util.write_db_lines(fn_out, entries)