From b5df1925bbc14f441247349b200aa3f5828e8427 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 18 Feb 2004 18:32:33 +0000
Subject: - fixed the Assert_failure error in kernel/modops - fixed the problem
 with passing atomic tactics to ltacs - restructured the distrib Makefile (can
 build a package from   the CVS working dir)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/subtyping.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kernel/subtyping.ml')

diff --git a/kernel/subtyping.ml b/kernel/subtyping.ml
index 6b0931a9e3..50aeaf3473 100644
--- a/kernel/subtyping.ml
+++ b/kernel/subtyping.ml
@@ -244,4 +244,3 @@ and check_modtypes cst env mtb1 mtb2 equiv =
 	  
 let check_subtypes env sup super = 
   check_modtypes Constraint.empty env sup super false
-
-- 
cgit v1.2.3