From 0d8a11017e45ff9b0b18af1d6cd69c66184b55ae Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Sun, 2 Mar 2014 14:17:09 +0100
Subject: Matching --> ConstrMatching (was clashing with OCaml's compiler-libs)

 There are currently two other clashs : Lexer and Errors, but for
 the moment these ones haven't impacted my experiments with extraction
 and compiler-libs, while this Matching issue had. And anyway the new
 name is more descriptive, in the spirit of the recent TacticMatching.
---
 dev/printers.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 82ef43a7d5..30ac772d0a 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -118,7 +118,7 @@ Evarconv
 Arguments_renaming
 Typing
 Patternops
-Matching
+ConstrMatching
 Tacred
 Classops
 Typeclasses_errors
-- 
cgit v1.2.3