Fix a typo in the parser

diff --git a/Exp.cf b/Exp.cf
index 5a4a1e73411cd0ea2deddc958cf25b7f9e62b732..6386d330dbf07028b1dfb134ec123fc5f72c2aeb 100644 (file)
--- a/Exp.cf
+++ b/Exp.cf
@@ -38,14 +38,12 @@ Trans.      Exp3 ::= "transport" ;
 Pair.       Exp3 ::= "(" Exp "," Exp ")" ;
 coercions Exp 3 ;
 
-
-Conj.     Formula  ::= Formula "|" Formula1 ;
-Disj.     Formula1 ::= Formula1 "&" Formula2 ;
+Disj.     Formula  ::= Formula "|" Formula1 ;
+Conj.     Formula1 ::= Formula1 "&" Formula2 ;
 Neg.      Formula2 ::= "-" Formula2 ;
 Atom.     Formula2 ::= Name ;
 coercions Formula 2 ;
 
-
 -- Branches
 Branch.   Branch ::= AIdent [AIdent] "->" ExpWhere ;
 separator Branch ";" ;