From 40da6bd1614066fba34dce4d6a006c44f0ef4f42 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Mon, 20 Apr 2015 10:12:37 +0200
Subject: [PATCH] Remove the @ in PLabel

---
 Exp.cf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.34.1