diff options
Diffstat (limited to 'utils/DSAextract.py')
| -rw-r--r-- | utils/DSAextract.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/DSAextract.py b/utils/DSAextract.py index 89dece1f33..ba762bdec3 100644 --- a/utils/DSAextract.py +++ b/utils/DSAextract.py @@ -1,7 +1,7 @@ #! /usr/bin/python #this is a script to extract given named nodes from a dot file, with -#the associated edges. An edge is kept iff for edge x -> y +#the associated edges. An edge is kept if for edge x -> y # x and y are both nodes specified to be kept. #known issues: if a line contains '->' and is not an edge line |