X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=fa356d0e9ae666db61bb993423b7b915df2c815b;hb=5881b6573197c0366e2380cf28f78189c3fde312;hp=edaf397e2ee7d4c335ac35f5cce60debaae9b546;hpb=38c72a8748ae74a5bb8b75e713f363a49b48e7af;p=c11tester.git diff --git a/nodestack.h b/nodestack.h index edaf397e..fa356d0e 100644 --- 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__ */