diff options
| -rw-r--r-- | test-suite/bugs/closed/4858.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/4858.v b/test-suite/bugs/closed/4858.v index c04895a1bb..a2fa93832a 100644 --- a/test-suite/bugs/closed/4858.v +++ b/test-suite/bugs/closed/4858.v @@ -1,6 +1,6 @@ Require Import Nsatz. Goal True. -nsatz_compute +try nsatz_compute (PEc 0%Z :: PEc (-1)%Z :: PEpow (PEsub (PEX Z 2) (PEX Z 3)) 1 :: PEsub (PEX Z 1) (PEX Z 1) :: nil). |