diff options
Diffstat (limited to 'frontend/scanner.dcl')
| -rw-r--r-- | frontend/scanner.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontend/scanner.dcl b/frontend/scanner.dcl index 3667d05..69a5936 100644 --- a/frontend/scanner.dcl +++ b/frontend/scanner.dcl @@ -110,6 +110,7 @@ instance <<< FilePosition | GenericOpenToken // {| | GenericCloseToken // |} | GenericOfToken // of + | GenericWithToken // with | ExistsToken // E. | ForAllToken // A. |