summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml')
-rw-r--r--ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml24
1 files changed, 24 insertions, 0 deletions
diff --git a/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml b/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml
new file mode 100644
index 0000000000..eb6b9a24dd
--- /dev/null
+++ b/ocaml-binary-annot/camlp4/Camlp4Printers/Camlp4AutoPrinter.ml
@@ -0,0 +1,24 @@
+(****************************************************************************)
+(* *)
+(* Objective Caml *)
+(* *)
+(* INRIA Rocquencourt *)
+(* *)
+(* Copyright 2006 Institut National de Recherche en Informatique et *)
+(* en Automatique. All rights reserved. This file is distributed under *)
+(* the terms of the GNU Library General Public License, with the special *)
+(* exception on linking described in LICENSE at the top of the Objective *)
+(* Caml source tree. *)
+(* *)
+(****************************************************************************)
+
+(* Authors:
+ * - Nicolas Pouillard: initial version
+ *)
+
+open Camlp4.Register;
+
+if Unix.isatty Unix.stdout then
+ enable_ocaml_printer ()
+else
+ enable_dump_ocaml_ast_printer ();