From: Anders Mörtberg <mortberg@chalmers.se>
Date: Mon, 20 Apr 2015 08:12:37 +0000 (+0200)
Subject: Remove the @ in PLabel
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=40da6bd1614066fba34dce4d6a006c44f0ef4f42;p=cubicaltt.git

Remove the @ in PLabel
---

diff --git a/Exp.cf b/Exp.cf
index a22f225..9aff9a0 100644
--- a/Exp.cf
+++ b/Exp.cf
@@ -73,7 +73,7 @@ separator Branch ";" ;
 
 -- Labelled sum alternatives
 OLabel.   Label ::= AIdent [Tele] ;
-PLabel.   Label ::= AIdent [Tele] "<" [AIdent] ">" "@" System ;
+PLabel.   Label ::= AIdent [Tele] "<" [AIdent] ">" System ;
 separator Label "|" ;
 
 -- Telescopes