diff options
Diffstat (limited to 'lib/compat.ml4')
| -rw-r--r-- | lib/compat.ml4 | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/compat.ml4 b/lib/compat.ml4 index 4ec4d915c..5ed8d7a54 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 |