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, 11 insertions, 0 deletions
diff --git a/lang/seed7/files/patch-prg_chkerr.sd7 b/lang/seed7/files/patch-prg_chkerr.sd7 new file mode 100644 index 000000000000..9fd9d1c54203 --- /dev/null +++ b/lang/seed7/files/patch-prg_chkerr.sd7 @@ -0,0 +1,11 @@ +--- 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; |