msc-queue: indentation, etc.

[model-checker-benchmarks.git] / mcs-queue / my_queue.h

diff --git a/mcs-queue/my_queue.h b/mcs-queue/my_queue.h
index 34c9cbd10537a13a79359bf94606a3fc95498209..385db65ad289b506e8cd754543acdd998cc11f96 100644 (file)
--- a/mcs-queue/my_queue.h
+++ b/mcs-queue/my_queue.h
@@ -8,31 +8,30 @@
 #define MAKE_LONG(lo, hi)              ((hi)<<16)+(lo)
 
 typedef union pointer {
-  struct {
-    volatile unsigned short count;
-    volatile unsigned short ptr;
-  } sep;
-  volatile unsigned long con;
+       struct {
+               volatile unsigned short count;
+               volatile unsigned short ptr;
+       } sep;
+       volatile unsigned long con;
 }pointer_t;
 
 typedef struct node {
-  unsigned value;
-  pointer_t next;
-  unsigned foo[30];
+       unsigned value;
+       pointer_t next;
+       unsigned foo[30];
 } node_t;
 
 typedef struct private {
-  unsigned node;
-  unsigned value;
-  unsigned serial[MAX_SERIAL];
+       unsigned node;
+       unsigned value;
+       unsigned serial[MAX_SERIAL];
 } private_t;
 
 typedef struct shared_mem {
-  pointer_t head;
-  unsigned foo1[31];
-  pointer_t tail;
-  unsigned foo2[31];
-  node_t nodes[MAX_NODES+1];
-  unsigned serial;
+       pointer_t head;
+       unsigned foo1[31];
+       pointer_t tail;
+       unsigned foo2[31];
+       node_t nodes[MAX_NODES+1];
+       unsigned serial;
 } shared_mem_t;
-