From 173138f64802a0ea02fdd2a5a51137bb68e65638 Mon Sep 17 00:00:00 2001
From: troyyyyy <49091847+troyyyyy@users.noreply.github.com>
Date: Fri, 3 Mar 2023 17:02:04 +0800
Subject: [PATCH] Update kb.py

---
 abl/abducer/kb.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/abl/abducer/kb.py b/abl/abducer/kb.py
index cd15dd3..7ac26c8 100644
--- a/abl/abducer/kb.py
+++ b/abl/abducer/kb.py
@@ -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)