diff options
Diffstat (limited to 'test-suite/complexity/ring2.v')
| -rw-r--r-- | test-suite/complexity/ring2.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/complexity/ring2.v b/test-suite/complexity/ring2.v index 52dae265..04fa5907 100644 --- a/test-suite/complexity/ring2.v +++ b/test-suite/complexity/ring2.v @@ -39,7 +39,7 @@ Admitted. Ltac Zcst t := match isZcst t with true => t - | _ => constr:NotConstant + | _ => constr:(NotConstant) end. Add Ring Zr : Zth |