Another todo

sdcondon · Jul 27, 2024 · 8c13319 · 8c13319
1 parent f9ebae7
commit 8c13319
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/SCFirstOrderLogic/CNFClause.cs b/src/SCFirstOrderLogic/CNFClause.cs
@@ -87,6 +87,8 @@ public CNFClause(Sentence sentence)
     /// A clause that is the same as this one, except for the fact that all referenced
     /// variables are replaced with new ones.
     /// </returns>
+    // TODO-BREAKING-V7: uses particular identifier types - and as such doesn't belong here.
+    // Somewhere in Normalisation namespace, probably
     public CNFClause Restandardise()
     {
         var newIdentifiersByOld = new Dictionary<StandardisedVariableIdentifier, StandardisedVariableIdentifier>();