From e86cc0f7fa2b51d1c1b57c7d838ad4a03362efcb Mon Sep 17 00:00:00 2001 From: Milo Turner Date: Sat, 2 Dec 2017 18:07:39 -0500 Subject: [PATCH] disable print_string_cap_ro/rw to match #673 --- battop.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/battop.ml b/battop.ml index 2d2764b03..c81db4637 100644 --- a/battop.ml +++ b/battop.ml @@ -63,8 +63,10 @@ open Batteries;; #install_printer BatteriesPrint.print_uchar;; #install_printer BatteriesPrint.print_ustring;; #install_printer BatteriesPrint.print_rope;; +(* #install_printer BatteriesPrint.print_string_cap_rw;; #install_printer BatteriesPrint.print_string_cap_ro;; + *) #install_printer BatteriesPrint.string_dynarray;; #install_printer BatteriesPrint.int_dynarray;; #install_printer BatteriesPrint.char_dynarray;;