From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- checker/check_stat.ml | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) (limited to 'checker/check_stat.ml') diff --git a/checker/check_stat.ml b/checker/check_stat.ml index 145c191c..05a2a1b9 100644 --- a/checker/check_stat.ml +++ b/checker/check_stat.ml @@ -1,17 +1,14 @@ (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(*