diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mds-kbdc/simplify-tree.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mds-kbdc/simplify-tree.c b/src/mds-kbdc/simplify-tree.c index 894bbab..52b3151 100644 --- a/src/mds-kbdc/simplify-tree.c +++ b/src/mds-kbdc/simplify-tree.c @@ -372,7 +372,7 @@ static int simplify_map(mds_kbdc_tree_map_t* restrict tree) * subsequences. Thus after the elimination of alternations, * ordered subsequences are eliminated too. * - * Example of what will happen, ‘{ }’ presents an + * Example of what will happen, ‘{ }’ represents an * ordered subsequence: * * (1 2) (3 4) : 0 ## mapping 1 |