From 26be4ca94f8ba0a03826a2df09491bb0d96d7363 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 3 Sep 2015 20:50:31 +0200
Subject: Update test-suite after 518049fe7.

"Fetching opaque proofs" notices are not printed by default anymore.
---
 test-suite/output/PrintAssumptions.out | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/test-suite/output/PrintAssumptions.out b/test-suite/output/PrintAssumptions.out
index 08df91507e..23f33081b4 100644
--- a/test-suite/output/PrintAssumptions.out
+++ b/test-suite/output/PrintAssumptions.out
@@ -2,11 +2,6 @@ Axioms:
 foo : nat
 Axioms:
 foo : nat
-Fetching opaque proofs from disk for Coq.Numbers.NatInt.NZAdd
-Fetching opaque proofs from disk for Coq.Arith.PeanoNat
-Fetching opaque proofs from disk for Coq.Classes.Morphisms
-Fetching opaque proofs from disk for Coq.Init.Logic
-Fetching opaque proofs from disk for Coq.Numbers.NatInt.NZBase
 Axioms:
 extensionality : forall (P Q : Type) (f g : P -> Q),
                  (forall x : P, f x = g x) -> f = g
-- 
cgit v1.2.3