add Commit point clear construct

[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.c

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 11e5e9916e3da3b46fdd560e7ba1c309903109ba..c9fc8a9327f5d2a20fe623ba796527fe6cd52f81 100644 (file)
--- a/benchmark/chase-lev-deque-bugfix/deque.c
+++ b/benchmark/chase-lev-deque-bugfix/deque.c
@@ -30,7 +30,7 @@ int take(Deque *q) {
        /**
                @Begin
                @Commit_point_define_check: t > b
-               @Label: Take_Point_1
+               @Label: Take_Point1
                @End
        */
        int x;