Removed rbtree from build

FStarLang · Mar 15, 2015 · 720d5ec · 720d5ec
1 parent c62084e
commit 720d5ec
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/data_structures/Makefile b/examples/data_structures/Makefile
@@ -1,7 +1,8 @@
 VERFILES=array-realized.fst vectors.fst
 #rbtree.fst -- currently disabled
 include ../Makefile.include
-all: .all.ver bst rbtree
+all: .all.ver bst
+# rbtree -- this fails often on some machines even with timeout 30
 
 bst: binary_search_tree.fulllib.ver