Remove the @ in PLabel

diff --git a/Exp.cf b/Exp.cf
index a22f225433e79de67100fbe801542834f3a57097..9aff9a04f2424a97582e95b586bbd298c7d6236c 100644 (file)
--- 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