update

boogie-org · Apr 6, 2024 · d675d71 · d675d71
1 parent 0440f4b
commit d675d71
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Test/civl/samples/treiber-stack.bpl b/Test/civl/samples/treiber-stack.bpl
@@ -12,6 +12,7 @@ atomic action {:layer 5} AtomicAlloc() returns (loc_t: Loc (Treiber X))
 modifies Stack;
 {
   var {:linear} one_loc_t: One (Loc (Treiber X));
+
   call one_loc_t := One_New();
   loc_t := one_loc_t->val;
   assume !Map_Contains(Stack, loc_t);