diff options
Diffstat (limited to 'theories')
| -rwxr-xr-x | theories/Arith/Arith.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Arith/Arith.v b/theories/Arith/Arith.v index 05fa01f06..d5b4610a6 100755 --- a/theories/Arith/Arith.v +++ b/theories/Arith/Arith.v @@ -18,7 +18,7 @@ Grammar constr constr10 := natural_nat [ nat:number($c) ] -> [$c]. Grammar constr pattern := - natural_pat [ nat:number($c) ] -> [$c]. + natural_pat [ nat:pat_number($c) ] -> [$c]. Syntax constr level 0: |