From 300293c119981054c95182a90c829058530a6b6f Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Sun, 25 Dec 2011 13:19:42 +0100 Subject: Imported Upstream version 8.3.pl3 --- checker/typeops.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'checker/typeops.mli') diff --git a/checker/typeops.mli b/checker/typeops.mli index 08ef433f..f4f29fe5 100644 --- a/checker/typeops.mli +++ b/checker/typeops.mli @@ -1,6 +1,6 @@ (************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) -(*