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/Core/Core.cf | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/src/Transfer/Core/Core.cf b/src/Transfer/Core/Core.cf
index e0fc7e0f5..cd4c20569 100644
--- a/src/Transfer/Core/Core.cf
+++ b/src/Transfer/Core/Core.cf
@@ -25,8 +25,6 @@ PCons.     Pattern ::= "(" CIdent [Pattern] ")" ;
 PVar.      Pattern ::= PatternVariable ;
 -- Record patterns.
 PRec.      Pattern ::= "rec" "{" [FieldPattern] "}";
--- Patterns matching the constant Type.
-PType.     Pattern ::= "Type" ;
 -- String literal patterns.
 PStr.      Pattern ::= String ;
 -- Integer literal patterns.
-- 
cgit v1.2.3