Skip to content

Commit

Permalink
Merge pull request #813 from iitalics/battop_string_cap
Browse files Browse the repository at this point in the history
disable print_string_cap_ro/rw in battop to match #673
  • Loading branch information
gasche authored Dec 3, 2017
2 parents 4478906 + e86cc0f commit af61097
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions battop.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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;;
Expand Down

0 comments on commit af61097

Please sign in to comment.