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/Doc.tex | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Transfer/Syntax/Doc.tex')

diff --git a/src/Transfer/Syntax/Doc.tex b/src/Transfer/Syntax/Doc.tex
index d300075e3..603940459 100644
--- a/src/Transfer/Syntax/Doc.tex
+++ b/src/Transfer/Syntax/Doc.tex
@@ -143,7 +143,6 @@ All other symbols are terminals.\\
  & {\delimit}  &{\terminal{[}} {\terminal{]}}  \\
  & {\delimit}  &{\terminal{[}} {\nonterminal{ListCommaPattern}} {\terminal{]}}  \\
  & {\delimit}  &{\terminal{(}} {\nonterminal{CommaPattern}} {\terminal{,}} {\nonterminal{ListCommaPattern}} {\terminal{)}}  \\
- & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
  & {\delimit}  &{\nonterminal{Ident}}  \\
-- 
cgit v1.2.3

