small changes
[c11tester.git] / libannotate.cc
index b1fad8a..e58da19 100644 (file)
@@ -10,5 +10,5 @@
 
 void cdsannotate(uint64_t analysistype, void *annotation) {
        /* seq_cst is just a 'don't care' parameter */
-       model->switch_to_master(new ModelAction(ATOMIC_ANNOTATION, std::memory_order_seq_cst, annotation, analysistype));
+       model->switch_thread(new ModelAction(ATOMIC_ANNOTATION, std::memory_order_seq_cst, annotation, analysistype));
 }