More doc tweaks.

sdcondon · Aug 13, 2023 · 11db030 · 11db030
1 parent 1a57890
commit 11db030
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/src/SCFirstOrderLogic/SkolemFunctionIdentifier.cs b/src/SCFirstOrderLogic/SkolemFunctionIdentifier.cs
@@ -31,9 +31,7 @@ internal SkolemFunctionIdentifier(StandardisedVariableIdentifier variableIdentif
 
         /// <summary>
         /// Gets the original top-level sentence in which the variable was declared.
-        /// Contains all ancestors of the original variable declaration
-        /// in the sentence tree - starting with the quantification that declares the variable, and ending with the
-        /// root element of the sentence. Intended for use within explanations of query results.
+        /// Intended for use within explanations of query results.
         /// </summary>
         public Sentence OriginalSentence { get; }
 

diff --git a/src/SCFirstOrderLogic/StandardisedVariableIdentifier.cs b/src/SCFirstOrderLogic/StandardisedVariableIdentifier.cs
@@ -65,7 +65,6 @@ internal StandardisedVariableIdentifier(Quantification originalVariableScope, Se
         /// Gets the original variable identifier that this identifier is the standardisation of.
         /// Intended for use within explanations of query results.
         /// </summary>
-
         public object OriginalIdentifier => OriginalVariableScope.Variable.Identifier;
 
         /////// <summary>