Mercurial > hg > Gears > GearsAgda
diff src/parallel_execution/context.h @ 475:fae47dc256b6
Merge
author | Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 28 Dec 2017 12:59:11 +0900 |
parents | b92898d3a630 355f7f78e3cf |
children | 39b5df2d1c93 |
line wrap: on
line diff
--- a/src/parallel_execution/context.h Thu Dec 28 12:58:25 2017 +0900 +++ b/src/parallel_execution/context.h Thu Dec 28 12:59:11 2017 +0900 @@ -285,6 +285,7 @@ struct Node* parent; struct Node* grandparent; struct Stack* nodeStack; + enum Code findNodeNext; int result; } RedBlackTree; struct RotateTree {