From e1661dc9a43b34526437e9bc3029e6320e09f899 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 8 Jul 2016 13:03:16 +0200
Subject: Fix test file for #4858.

---
 test-suite/bugs/closed/4858.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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).
-- 
cgit v1.2.3