diff options
Diffstat (limited to 'src/parse_ast.ml')
| -rw-r--r-- | src/parse_ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parse_ast.ml b/src/parse_ast.ml index 49878217..b5875ea7 100644 --- a/src/parse_ast.ml +++ b/src/parse_ast.ml @@ -242,7 +242,7 @@ type pat_aux = (* Pattern *) P_lit of lit (* literal constant pattern *) | P_wild (* wildcard - always matches *) - | P_or of ( pat * pat) (* choice pattern - P|Q matches if P matches or Q matches *) + | P_or of pat * pat (* choice pattern - P|Q matches if P matches or Q matches *) | P_typ of atyp * pat (* typed pattern *) | P_id of id (* identifier *) | P_var of pat * atyp (* bind pat to type variable *) |