diff options
Diffstat (limited to 'tools/setjmp_t.c')
| -rw-r--r-- | tools/setjmp_t.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/setjmp_t.c b/tools/setjmp_t.c index 6ca089de..92f18c91 100644 --- a/tools/setjmp_t.c +++ b/tools/setjmp_t.c @@ -5,7 +5,7 @@ * OR IMPLIED. ANY USE IS AT YOUR OWN RISK. * * Permission is hereby granted to use or copy this program - * for any purpose, provided the above notices are retained on all copies. + * for any purpose, provided the above notices are retained on all copies. * Permission to modify the code and to distribute modified code is granted, * provided the above notices are retained, and a notice that the code was * modified is included with the above copyright notice. |