From e0d682ec25282a348d35c5b169abafec48555690 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Mon, 20 Aug 2012 18:27:01 +0200 Subject: Imported Upstream version 8.4dfsg --- checker/mod_checking.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'checker/mod_checking.mli') diff --git a/checker/mod_checking.mli b/checker/mod_checking.mli index 8021ed0f..a88afd7b 100644 --- a/checker/mod_checking.mli +++ b/checker/mod_checking.mli @@ -1,6 +1,6 @@ (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(*