X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=libannotate.cc;h=e58da1962c64f99bf688ec84151b5bde3905ab24;hb=HEAD;hp=b1fad8afeadb28d993f32de79e9b1d76884ee6aa;hpb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;p=c11tester.git

diff --git a/libannotate.cc b/libannotate.cc
index b1fad8af..e58da196 100644
--- a/libannotate.cc
+++ b/libannotate.cc
@@ -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));
 }