rename pthead.h to mypthread.h

[c11tester.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index edaf397e2ee7d4c335ac35f5cce60debaae9b546..fa356d0e9ae666db61bb993423b7b915df2c815b 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -1,6 +1,6 @@
 /** @file nodestack.h
  *  @brief Stack of operations for use in backtracking.
-*/
+ */
 
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
@@ -80,4 +80,4 @@ private:
        int head_idx;
 };
 
-#endif /* __NODESTACK_H__ */
+#endif /* __NODESTACK_H__ */