Update Source/DafnyTestGeneration/PathBasedModifier.cs

Co-authored-by: Aaron Tomb <aarontomb@gmail.com>

Source/DafnyTestGeneration/PathBasedModifier.cs

@@ -43,7 +43,7 @@ protected override IEnumerable<ProgramModification> GetModifications(Program p)
         bool newPathsFound = true;
         // Consider paths of increasing length, pruning out infeasible sub-paths in the process:
         while (newPathsFound) {
-          List<Path> pathsToConsider = new(); // paths without nown unfeasible subpaths
+          List<Path> pathsToConsider = new(); // paths without known unfeasible subpaths
           var totalPaths = 0;
           foreach (var path in GeneratePaths(implementation, pathLength - PathLengthStep, pathLength)) {
             totalPaths++;