summaryrefslogtreecommitdiff
path: root/support/splint/examples/ld/ldnump.w
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/ld/ldnump.w')
-rw-r--r--support/splint/examples/ld/ldnump.w4
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