temporarily disable array.pos from test suite

FStarLang · Jan 30, 2019 · 26315d5 · 26315d5
1 parent 03d80d9
commit 26315d5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/examples/struct/Makefile b/examples/struct/Makefile
@@ -5,7 +5,6 @@ include $(FSTAR_HOME)/ulib/gmake/fstar.mk
 
 # was: $(wildcard *.pos)
 POSTESTS=\
-  array.pos \
   disjoint.pos \
   point.pos \
   point-with-nesting.pos \