diff -r be9f187dcd50 -r 7bcad752857d Admin/components/nonfree
--- a/Admin/components/nonfree	Sun Dec 02 13:29:40 2018 +0100
+++ b/Admin/components/nonfree	Sun Dec 02 14:11:34 2018 +0100
@@ -1,3 +1,2 @@
 #special components for internal testing only
-vampire-1.0
 yices-1.0.28