docs tweaks

sdcondon · Aug 12, 2023 · f422bd5 · f422bd5
1 parent 21ffcec
commit f422bd5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree.cs b/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree.cs
@@ -7,7 +7,7 @@
 namespace SCFirstOrderLogic.TermIndexing
 {
     /// <summary>
-    /// An implementation of an in-memory discrimination tree for <see cref="Term"/>s - specifically, one for which the attached values are the terms themselves.
+    /// An implementation of a discrimination tree for <see cref="Term"/>s - specifically, one for which the attached values are the terms themselves.
     /// </summary>
     /// <seealso href="https://www.google.com/search?q=discrimination+tree"/>
     public class AsyncDiscriminationTree

diff --git a/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree{TValue}.cs b/src/SCFirstOrderLogic/TermIndexing/AsyncDiscriminationTree{TValue}.cs
@@ -8,7 +8,7 @@
 namespace SCFirstOrderLogic.TermIndexing
 {
     /// <summary>
-    /// An implementation of an in-memory discrimination tree for <see cref="Term"/>s.
+    /// An implementation of a discrimination tree for <see cref="Term"/>s.
     /// </summary>
     /// <typeparam name="TValue">The type of value attached for each term.</typeparam>
     /// <seealso href="https://www.google.com/search?q=discrimination+tree"/>