Oops. Fix.

sdcondon · Aug 12, 2023 · e7af8ff · e7af8ff
1 parent 0e2cf60
commit e7af8ff
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree{TValue}.cs b/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree{TValue}.cs
@@ -4,7 +4,6 @@
 using System.Collections.Generic;
 using System.Linq;
 using System.Threading.Tasks;
-using SCFirstOrderLogic.TermIndexing.NodeImplementation;
 
 namespace SCFirstOrderLogic.TermIndexing
 {