diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2023-07-13 10:58:30 +0000 |
|---|---|---|
| committer | Henning Baldersheim <balder@yahoo-inc.com> | 2023-07-13 13:20:22 +0000 |
| commit | b75d5f4f9e7a4418b956548cdbe850849ee76470 (patch) | |
| tree | 641787902a55d042b3df84b6619811ff31fab8f3 /NOTICES | |
| parent | 12a961c14bf256cd07d75e3dd1adf408b972e07b (diff) | |
If a range is represented as a StringTerm we can not handle it with a DWA.
Diffstat (limited to 'NOTICES')
0 files changed, 0 insertions, 0 deletions