From f07cae6c82807ea1b415cfcecb2f634b3dc57e2f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 18 Mar 2018 21:53:24 -0500 Subject: [PATCH] detail --- src/data/CCBitField.mli | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/data/CCBitField.mli b/src/data/CCBitField.mli index 9607e6f4..b5f29d2e 100644 --- a/src/data/CCBitField.mli +++ b/src/data/CCBitField.mli @@ -9,8 +9,6 @@ {[ module B = CCBitField.Make(struct end);; - #install_printer B.pp;; - let x = B.mk_field () let y = B.mk_field () let z = B.mk_field ()