Skip to content
Commit 8fd64e7d authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed: Grounder considered all names in new clauses/queries as new names. 

This made Reground() very slow as ForEachNewGrounding() always
iterated over all assignments.
parent 83cd0913
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment