Skip to content

Commit

Permalink
remove debug from recursion
Browse files Browse the repository at this point in the history
  • Loading branch information
stephanzwicknagl committed Apr 7, 2023
1 parent 409883e commit 897d8db
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions backend/src/viasp/asp/recursion.py
Original file line number Diff line number Diff line change
Expand Up @@ -66,8 +66,6 @@ def get_recursion_subgraph(facts: frozenset, supernode_symbols: frozenset,
justification_program += "model(@new())."

h_syms = set()
with open("t.log", "a") as f:
f.write(f"Justification Program:\n{justification_program}\n\n")
try:
RecursionReasoner(init = init,
program = justification_program,
Expand Down

0 comments on commit 897d8db

Please sign in to comment.