From d000fe3f6df676596b5371f9760cdf0b2922ea11 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 14 Feb 2017 16:12:55 +0100 Subject: Removed CMinor import. Bug 20992 --- backend/CMtypecheck.mli | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 backend/CMtypecheck.mli (limited to 'backend/CMtypecheck.mli') diff --git a/backend/CMtypecheck.mli b/backend/CMtypecheck.mli deleted file mode 100644 index 44c76544..00000000 --- a/backend/CMtypecheck.mli +++ /dev/null @@ -1,19 +0,0 @@ -(* *********************************************************************) -(* *) -(* The Compcert verified compiler *) -(* *) -(* Xavier Leroy, INRIA Paris-Rocquencourt *) -(* *) -(* Copyright Institut National de Recherche en Informatique et en *) -(* Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU General Public License as published by *) -(* the Free Software Foundation, either version 2 of the License, or *) -(* (at your option) any later version. This file is also distributed *) -(* under the terms of the INRIA Non-Commercial License Agreement. *) -(* *) -(* *********************************************************************) - -exception Error of string - -val type_program: Cminor.program -> Cminor.program - -- cgit