From fdad03c5c247ab6cfdde8fd58658d9e40a3fd8aa Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 24 Dec 2009 11:05:43 +0000
Subject: In "simpl c" and "change c with d", c can be a pattern.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12608 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/pretyping.mllib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pretyping/pretyping.mllib')

diff --git a/pretyping/pretyping.mllib b/pretyping/pretyping.mllib
index b40476c97..e847894a5 100644
--- a/pretyping/pretyping.mllib
+++ b/pretyping/pretyping.mllib
@@ -11,6 +11,9 @@ Typing
 Evarutil
 Term_dnet
 Recordops
+Rawterm
+Pattern
+Matching
 Tacred
 Evarconv
 Typeclasses_errors
@@ -19,11 +22,8 @@ Classops
 Coercion
 Unification
 Clenv
-Rawterm
-Pattern
 Detyping
 Indrec
 Cases
 Pretyping
-Matching
 
-- 
cgit v1.2.3