From 145e0a4c8212a32c669d14cb67a615add5f0ad56 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 3 Mar 2006 10:34:15 +0000
Subject: Transfer: Removed PType from source and core languages.

---
 src/Transfer/Syntax/Syntax.cf | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Transfer/Syntax/Syntax.cf')

diff --git a/src/Transfer/Syntax/Syntax.cf b/src/Transfer/Syntax/Syntax.cf
index 07d5c0625..7429e34f9 100644
--- a/src/Transfer/Syntax/Syntax.cf
+++ b/src/Transfer/Syntax/Syntax.cf
@@ -55,8 +55,6 @@ PTuple.   Pattern3 ::= "(" CommaPattern "," [CommaPattern] ")" ;
 CommaPattern. CommaPattern ::= Pattern ;
 separator nonempty CommaPattern "," ;
 
--- The pattern matching the Type constant
-PType.    Pattern3 ::= "Type" ;
 -- String literal patterns
 PStr.     Pattern3 ::= String ;
 -- Integer literal patterns
-- 
cgit v1.2.3