diff options
Diffstat (limited to 'frontend/portToNewSyntax.dcl')
| -rw-r--r-- | frontend/portToNewSyntax.dcl | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/frontend/portToNewSyntax.dcl b/frontend/portToNewSyntax.dcl index a5367f8..2e06636 100644 --- a/frontend/portToNewSyntax.dcl +++ b/frontend/portToNewSyntax.dcl @@ -2,16 +2,6 @@ definition module portToNewSyntax // see the file readme.txt in the portToNewSyntax folder about // this module -from StdMisc import abort -//1.3 -from StdFile import Files -from StdString import String -from scanner import SearchPaths -//3.1 -/*2.0 -from StdFile import :: Files -from scanner import :: SearchPaths -0.2*/ import checksupport switch_port_to_new_syntax port dont_port :== dont_port |