From edf2d22457c3537226a4510885c3f346bc80f143 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Wed, 14 Dec 2016 22:31:42 -0800 Subject: [PATCH] small edits --- include/libinterface.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/include/libinterface.h b/include/libinterface.h index ed73198..673b692 100644 --- a/include/libinterface.h +++ b/include/libinterface.h @@ -88,8 +88,8 @@ extern "C" { void MC2_nextOpThrd_join(MCID jointhrd); /** Tells MC2 that we hit the merge point of a conditional - * branch. branchid is the MCID for the condition variable of the - * branch that just merged. */ + * branch. branchid is the MCID returned by the corresponding + * MC2_branchUsesID function for the branch that just merged. */ void MC2_merge(MCID branchid); /** Tells MC2 that we just computed something that MC2 should treat @@ -128,7 +128,7 @@ extern "C" { * } else { * y=1; * } - * // must put here: MC2_merge(_m_x); + * // must put here: MC2_merge(_branch_id); * // MC2_phi(_m_y); */ -- 2.34.1