Mercurial > hg > Gears > GearsAgda

diff src/llrb/llrbContext.h @ 22:4c3c0ad4a75d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add benchmark method
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Tue, 28 Apr 2015 17:39:44 +0900
parents 737a900518be
children 868c2918b634
line wrap: on
line diff
--- a/src/llrb/llrbContext.h	Tue Apr 28 14:34:59 2015 +0900
+++ b/src/llrb/llrbContext.h	Tue Apr 28 17:39:44 2015 +0900
@@ -4,6 +4,8 @@
     Code1,
     Code2,
     Code3,
+    Code4,
+    Code5,
     Allocate,
     Put,
     InsertD,