Mercurial > hg > Gears > GearsAgda

diff src/llrb/CMakeLists.txt @ 100:3d7ecced7e14

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Split functions which gets tree height
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Tue, 02 Feb 2016 16:12:34 +0900
parents ca55f4be5f0f
children 12d8e3c8976d
line wrap: on
line diff
--- a/src/llrb/CMakeLists.txt	Tue Feb 02 16:02:55 2016 +0900
+++ b/src/llrb/CMakeLists.txt	Tue Feb 02 16:12:34 2016 +0900
@@ -22,5 +22,6 @@
                allocate.c
                compare.c
                stack.c
+               verifier/llrbContextWithVerifier.c
                verifier/verify_put_cs.c
 )