From 2a5e67f4066d2ad670e9b8b20f5090b77987d14b Mon Sep 17 00:00:00 2001
From: johnvg
Date: Tue, 10 May 2011 13:41:36 +0000
Subject: delete portToNewSyntax

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1938 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 portToNewSyntax/portToNewSyntax.dcl | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 portToNewSyntax/portToNewSyntax.dcl

(limited to 'portToNewSyntax/portToNewSyntax.dcl')

diff --git a/portToNewSyntax/portToNewSyntax.dcl b/portToNewSyntax/portToNewSyntax.dcl
deleted file mode 100644
index 1668962..0000000
--- a/portToNewSyntax/portToNewSyntax.dcl
+++ /dev/null
@@ -1,17 +0,0 @@
-definition module portToNewSyntax
-
-from StdMisc import abort
-
-from StdFile import :: Files
-from scanner import :: SearchPaths
-
-import checksupport
-
-switch_port_to_new_syntax port dont_port :== port
-
-cTabWidth :== 4
-
-writeExplImportsToFile :: !String ![([Declaration],a)] !{#u:DclModule} !*CheckState 
-		-> (!{#u:DclModule},!.CheckState)
-
-createPortedFiles :: !String !SearchPaths !*Files -> (!Bool, !*Files)
-- 
cgit v1.2.3