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

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

diff --git a/src/Transfer/Core/Doc.tex b/src/Transfer/Core/Doc.tex
index 0b197ea63..4ba6f93ed 100644
--- a/src/Transfer/Core/Doc.tex
+++ b/src/Transfer/Core/Doc.tex
@@ -112,7 +112,6 @@ All other symbols are terminals.\\
 {\nonterminal{Pattern}} & {\arrow}  &{\terminal{(}} {\nonterminal{CIdent}} {\nonterminal{ListPattern}} {\terminal{)}}  \\
  & {\delimit}  &{\nonterminal{PatternVariable}}  \\
  & {\delimit}  &{\terminal{rec}} {\terminal{\{}} {\nonterminal{ListFieldPattern}} {\terminal{\}}}  \\
- & {\delimit}  &{\terminal{Type}}  \\
  & {\delimit}  &{\nonterminal{String}}  \\
  & {\delimit}  &{\nonterminal{Integer}}  \\
 \end{tabular}\\
-- 
cgit v1.2.3

