--- a/src/HOL/Tools/Sledgehammer/MaSh/src/singleNaiveBayes.py Thu Dec 27 10:21:21 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/singleNaiveBayes.py Thu Dec 27 12:34:06 2012 +0100
@@ -70,12 +70,12 @@
self.counts[f] = [posCount,negCount]
- def overwrite(self,features,label):
+ def overwrite(self,features,labelOld,labelNew):
"""
Deletes the old dependencies of problemId and replaces them with the new ones. Updates the model accordingly.
"""
- self.delete(features,label)
- self.update(features,label)
+ self.delete(features,labelOld)
+ self.update(features,labelNew)
def predict_sparse(self,features):
"""