diff options
Diffstat (limited to 'testlabl/printers.ml')
| -rw-r--r-- | testlabl/printers.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/testlabl/printers.ml b/testlabl/printers.ml deleted file mode 100644 index c80c42d66c..0000000000 --- a/testlabl/printers.ml +++ /dev/null @@ -1,11 +0,0 @@ -(* $Id$ *) - -open Types - -let ignore_abbrevs ppf ab = - let s = match ab with - Mnil -> "Mnil" - | Mlink _ -> "Mlink _" - | Mcons _ -> "Mcons _" - in - Format.pp_print_string ppf s |