Coccinelle release 1.0.0-rc13

[bpt/coccinelle.git] / bundles / menhirLib / menhir-20120123 / src / conflict.mli

diff --git a/bundles/menhirLib/menhir-20120123/src/conflict.mli b/bundles/menhirLib/menhir-20120123/src/conflict.mli
new file mode 100644 (file)
index 0000000..176d4ff
--- /dev/null
+++ b/bundles/menhirLib/menhir-20120123/src/conflict.mli
@@ -0,0 +1,18 @@
+(**************************************************************************)
+(*                                                                        *)
+(*  Menhir                                                                *)
+(*                                                                        *)
+(*  François Pottier, INRIA Rocquencourt                                  *)
+(*  Yann Régis-Gianas, PPS, Université Paris Diderot                      *)
+(*                                                                        *)
+(*  Copyright 2005-2008 Institut National de Recherche en Informatique    *)
+(*  et en Automatique. All rights reserved. This file is distributed      *)
+(*  under the terms of the Q Public License version 1.0, with the change  *)
+(*  described in file LICENSE.                                            *)
+(*                                                                        *)
+(**************************************************************************)
+
+(* This module explains conflicts. Explanations are written
+   to the .conflicts file. No functionality is offered by this
+   module. *)
+