From 3e2625dd17674339073c6afc4da6ba3b99932e4c Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Tue, 5 Jan 2016 14:48:41 -0500
Subject: Fix another form-feed problem, #461

---
 coverage/python.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'coverage/python.py')

diff --git a/coverage/python.py b/coverage/python.py
index 5e56382..07d2347 100644
--- a/coverage/python.py
+++ b/coverage/python.py
@@ -50,6 +50,8 @@ def get_python_source(filename):
         # Couldn't find source.
         raise NoSource("No source for code: '%s'." % filename)
 
+    # Replace \f because of http://bugs.python.org/issue19035
+    source = source.replace(b'\f', b' ')
     source = source.decode(source_encoding(source), "replace")
 
     # Python code should always end with a line with a newline.
-- 
cgit v1.2.1