Change initialize a bit
[c11tester.git] / libannotate.cc
index b1fad8afeadb28d993f32de79e9b1d76884ee6aa..e58da1962c64f99bf688ec84151b5bde3905ab24 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));
 }