diff options
Diffstat (limited to 'gvpr/subg-rev')
| -rwxr-xr-x[-rw-r--r--] | gvpr/subg-rev | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gvpr/subg-rev b/gvpr/subg-rev index add3b820..cd9bdddd 100644..100755 --- a/gvpr/subg-rev +++ b/gvpr/subg-rev @@ -1,6 +1,7 @@ +#!/usr/bin/gvpr -f // Compute the reverse partition of the chosen function // -// Run with graph ... | gvpr -f return-paths | gvpr -f subg-rev -a functionname +// Run with graph ... | return-paths | subg-rev -a functionname BEGIN { |