diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/compat.ml4 | 4 | ||||
| -rw-r--r-- | lib/refutpat.ml4 | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/lib/compat.ml4 b/lib/compat.ml4 index 4ec4d915cd..5ed8d7a546 100644 --- a/lib/compat.ml4 +++ b/lib/compat.ml4 @@ -6,9 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i camlp4use: "pa_macro.cmo" i*) - -(* Compatibility file depending on ocaml version *) +(** Compatibility file depending on ocaml/camlp4 version *) IFDEF CAMLP5 THEN diff --git a/lib/refutpat.ml4 b/lib/refutpat.ml4 index 7c6801a8b9..ef28019416 100644 --- a/lib/refutpat.ml4 +++ b/lib/refutpat.ml4 @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*) - open Pcaml (** * Non-irrefutable patterns |