Skip to content

Commit b732211

Browse files
committed
more cleanups
1 parent 4fc147d commit b732211

File tree

1 file changed

+1
-1
lines changed
  • algorithms/active/sparse/src/main/java/de/learnlib/algorithm/sparse

1 file changed

+1
-1
lines changed

algorithms/active/sparse/src/main/java/de/learnlib/algorithm/sparse/Leaf.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ void update(List<CoreRow<S, I, O>> cRows, int numSufs) {
7373
}
7474

7575
/*
76-
* since suffixes and core rows grow monotonically, the separator only needs to be recomputed whenever new
76+
* Since suffixes and core rows grow monotonically, the separator only needs to be recomputed whenever new
7777
* compatible core prefixes emerge or when the suffix set grows.
7878
*/
7979

0 commit comments

Comments
 (0)