diff options
Diffstat (limited to 'frontend/frontend.dcl')
| -rw-r--r-- | frontend/frontend.dcl | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl index bccf65b..171d1c3 100644 --- a/frontend/frontend.dcl +++ b/frontend/frontend.dcl @@ -3,14 +3,8 @@ */ definition module frontend -/*2.0 from scanner import ::SearchPaths -from general import ::Optional, Yes, No -0.2*/ -//1.3 -from scanner import SearchPaths -from general import Optional, Yes, No -//3.1 +from general import ::Optional (Yes, No) import checksupport, transform, overloading :: FrontEndOptions |