Mercurial > hg > Gears > GearsAgda

diff src/llrb/llrbContext.c @ 27:44879c87c2dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
modify
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Fri, 01 May 2015 18:18:36 +0900
parents 7494c0b87ec4
children 44914699ee9b
line wrap: on
line diff
--- a/src/llrb/llrbContext.c	Fri May 01 13:40:11 2015 +0900
+++ b/src/llrb/llrbContext.c	Fri May 01 18:18:36 2015 +0900
@@ -17,6 +17,7 @@
 extern __code rotateLeft(struct Context*);
 extern __code rotateRight(struct Context*);
 extern __code colorFlip(struct Context*);
+extern __code fixUp(struct Context*);
 extern __code changeReference(struct Context*);
 extern __code exit_code(struct Context*);
 
@@ -41,6 +42,7 @@
     context->code[RotateL]   = rotateLeft;
     context->code[RotateR]   = rotateRight;
     context->code[ColorFlip] = colorFlip;
+    context->code[FixUp]     = fixUp;
     context->code[ChangeRef] = changeReference;
     context->code[Exit]      = exit_code;