1) Add more comments.
[c11tester.git] / nodestack.h
index 59da8a1f1f04971f709cfe0dd7b79d187ed4593b..d3eab13561149cb6ca89da2d1928332ead695e4a 100644 (file)
@@ -1,3 +1,7 @@
+/** @file nodestack.h
+ *  @brief Stack of operations for use in backtracking.
+*/
+
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__