diff --git a/doc/syntax.txt b/doc/syntax.txt index 7a7efef..00ffc00 100644 --- a/doc/syntax.txt +++ b/doc/syntax.txt @@ -7,6 +7,7 @@ sync ::= exp exp ::= pipe | (' exp_1 exp_2) | (' exp_1 exp_2) + | (' pipe) pipe ::= cmd* | (' cmd* ...)