diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-22 08:48:33 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-22 08:48:33 +0000 |
| commit | 790d987be507e06867e6bef8a283d03e52d2bb5f (patch) | |
| tree | 9f8b82707f153adce74823a40f28352dd0d5bf36 /parsing/printast.ml | |
| parent | 5a750b3e54fee65a1cc3cdb805576fffdc247eb8 (diff) | |
small cleanup
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index 992b5e0c8..821f76096 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -753,6 +753,3 @@ let top_phrase ppf x = toplevel_phrase 0 ppf x;; let print_expression = expression 0 ;; let print_pattern = pattern 0 ;; - -let print_core_type = core_type 0 ;; - |