summaryrefslogtreecommitdiff
path: root/coverage/config.py
diff options
context:
space:
mode:
Diffstat (limited to 'coverage/config.py')
-rw-r--r--coverage/config.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/coverage/config.py b/coverage/config.py
index 23ec2328..d6f5af0a 100644
--- a/coverage/config.py
+++ b/coverage/config.py
@@ -9,7 +9,7 @@ import re
import sys
from coverage.backward import configparser, iitems, string_class
-from coverage.misc import CoverageException, isolate_module
+from coverage.misc import contract, CoverageException, isolate_module
os = isolate_module(os)
@@ -201,6 +201,7 @@ class CoverageConfig(object):
v = [v]
setattr(self, k, v)
+ @contract(filename=str)
def from_file(self, filename, section_prefix=""):
"""Read configuration from a .rc file.