diff options
Diffstat (limited to 'lang/seed7/files/patch-prg_chkerr.sd7')
| -rw-r--r-- | lang/seed7/files/patch-prg_chkerr.sd7 | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/seed7/files/patch-prg_chkerr.sd7 b/lang/seed7/files/patch-prg_chkerr.sd7 deleted file mode 100644 index 9fd9d1c54203..000000000000 --- a/lang/seed7/files/patch-prg_chkerr.sd7 +++ /dev/null @@ -1,11 +0,0 @@ ---- prg/chkerr.sd7.orig 2025-07-15 18:54:10 UTC -+++ prg/chkerr.sd7 -@@ -48,7 +48,7 @@ const func boolean: checkError (in string: testProgram - var parseError: error is parseError.value; - begin - block -- aProgram := parseStri(testProgram); -+ aProgram := parseStri(testProgram, parseOptions.value, [] ("../lib")); - exception - catch MEMORY_ERROR: noop; - end block; |