From f149d42b8257c9b4ba796d97122e85a5e9518e82 Mon Sep 17 00:00:00 2001 From: Timothy Sample Date: Thu, 19 Jul 2018 01:04:28 -0400 Subject: [PATCH] Add '' to syntax document * doc/syntax.txt: Add ''. --- doc/syntax.txt | 1 + 1 file changed, 1 insertion(+) 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* ...)