--- a/src/HOL/Tools/Sledgehammer/MaSh/src/sparseNaiveBayes.py Fri Sep 27 17:20:02 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/sparseNaiveBayes.py Fri Sep 27 17:39:34 2013 +0200
@@ -76,7 +76,7 @@
"""
for dep in dependencies:
self.counts[dep][0] -= 1
- for f,_w in features:
+ for f,_w in features.items():
self.counts[dep][1][f] -= 1
@@ -97,7 +97,6 @@
"""
tau = 0.05 # Jasmin, change value here
predictions = []
- #observedFeatures = [f for f,_w in features]
observedFeatures = features.keys()
for a in accessibles:
posA = self.counts[a][0]