From fdad03c5c247ab6cfdde8fd58658d9e40a3fd8aa Mon Sep 17 00:00:00 2001
From: herbelin
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
---
 dev/printers.mllib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 9a71fe95b2..00836c5bee 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -78,6 +78,8 @@ Evarutil
 Term_dnet
 Recordops
 Evarconv
+Pattern
+Matching
 Tacred
 Classops
 Typeclasses_errors
@@ -89,7 +91,6 @@ Unification
 Cases
 Pretyping
 Clenv
-Pattern
 
 Lexer
 Ppextend
-- 
cgit v1.2.3