update override_grammar docs with pipe

facebookresearch · Oct 21, 2021 · ee14dc5 · ee14dc5
1 parent 6fd1054
commit ee14dc5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/website/docs/advanced/override_grammar/basic.md b/website/docs/advanced/override_grammar/basic.md
@@ -84,7 +84,7 @@ primitive:
         | FLOAT                                  // 3.14, -20.0, 1e-1, -10e3
         | BOOL                                   // true, TrUe, false, False
         | INTERPOLATION                          // ${foo.bar}, ${oc.env:USER,me}
-        | UNQUOTED_CHAR                          // /, -, \, +, ., $, %, *, @, ?
+        | UNQUOTED_CHAR                          // /, -, \, +, ., $, %, *, @, ?, |
         | COLON                                  // :
         | ESC                                    // \\, \(, \), \[, \], \{, \}, \:, \=, \ , \\t, \,
         | WS                                     // whitespaces
@@ -97,7 +97,7 @@ dictKey:
       | INT                                    // 0, 10, -20, 1_000_000
       | FLOAT                                  // 3.14, -20.0, 1e-1, -10e3
       | BOOL                                   // true, TrUe, false, False
-      | UNQUOTED_CHAR                          // /, -, \, +, ., $, %, *, @, ?
+      | UNQUOTED_CHAR                          // /, -, \, +, ., $, %, *, @, ?, |
       | ESC                                    // \\, \(, \), \[, \], \{, \}, \:, \=, \ , \\t, \,
       | WS                                     // whitespaces
     )+;