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)