From d595ba5149a314c56623e1735af7678f5f62d525 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Sun, 6 Mar 2016 17:43:14 -0500 Subject: [PATCH] output (*BISECT-IGNORE*) in front of each non-programmer-written line EXPERIMENTAL PATCH: this should of course be turned into an explicit option --- src/printer.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/printer.ml b/src/printer.ml index ea978bc..714bb08 100644 --- a/src/printer.ml +++ b/src/printer.ml @@ -46,6 +46,7 @@ let rawnl f = let nl f = rawnl f; + output_string f "(*BISECT-IGNORE*)"; output_substring f whitespace 0 !indentation let indent ofs producer f x = -- 2.5.0