diff options
Diffstat (limited to 'dev/include')
| -rw-r--r-- | dev/include | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/include b/dev/include index 8fa4ba3744..165853221f 100644 --- a/dev/include +++ b/dev/include @@ -1,6 +1,7 @@ (* File to include to install the pretty-printers in the ocaml toplevel *) +#cd ".";; #use "base_include";; #install_printer (* ast *) prast;; |