diff options
Diffstat (limited to 'support/splint/examples/ld/ldnump.w')
-rw-r--r-- | support/splint/examples/ld/ldnump.w | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/splint/examples/ld/ldnump.w b/support/splint/examples/ld/ldnump.w index 5d4d45f724..813628c68c 100644 --- a/support/splint/examples/ld/ldnump.w +++ b/support/splint/examples/ld/ldnump.w @@ -1,4 +1,4 @@ -@q Copyright 2012-2015, Alexander Shibakov@> +@q Copyright 2012-2020, Alexander Shibakov@> @q This file is part of SPLinT@> @q SPLinT is free software: you can redistribute it and/or modify@> @@ -54,7 +54,7 @@ activates the new name parser. tokens: {}, asetup: {}, dsetup: {}, - rsetup: {\noexpand\savefullstateextra}, + rsetup: {}, optimization: {};% @g |