diff options
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 ;; - |