diff options
Diffstat (limited to 'util/mkstack.pl')
| -rwxr-xr-x | util/mkstack.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/mkstack.pl b/util/mkstack.pl index be2cb4f..2a968f3 100755 --- a/util/mkstack.pl +++ b/util/mkstack.pl @@ -85,6 +85,7 @@ while(<IN>) { #define sk_${type_thing}_shift(st) SKM_sk_shift($type_thing, (st)) #define sk_${type_thing}_pop(st) SKM_sk_pop($type_thing, (st)) #define sk_${type_thing}_sort(st) SKM_sk_sort($type_thing, (st)) +#define sk_${type_thing}_is_sorted(st) SKM_sk_is_sorted($type_thing, (st)) EOF } foreach $type_thing (sort @asn1setlst) { |