Browse Source

Update kb.py

pull/3/head
troyyyyy GitHub 2 years ago
parent
commit
173138f648
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
  1. +1
    -1
      abl/abducer/kb.py

+ 1
- 1
abl/abducer/kb.py View File

@@ -461,7 +461,7 @@ import time

if __name__ == "__main__":
t1 = time.time()
kb = add_KB(True)
kb = add_KB(GKB_flag=True)
t2 = time.time()
print(t2 - t1)



Loading…
Cancel
Save