diff options
Diffstat (limited to 'examples/listIdRe2.lua')
| -rw-r--r-- | examples/listIdRe2.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/listIdRe2.lua b/examples/listIdRe2.lua index 6bab6ba..58ddedd 100644 --- a/examples/listIdRe2.lua +++ b/examples/listIdRe2.lua | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | local re = require 'relabelrec' | 1 | local re = require 'relabel' |
| 2 | 2 | ||
| 3 | local errinfo = { | 3 | local errinfo = { |
| 4 | {"errUndef", "undefined"}, | 4 | {"errUndef", "undefined"}, |