# HG changeset patch
# User huffman
# Date 1290906869 28800
# Node ID ed7a4eadb2f60430822a6ca3d625a434fb346283
# Parent  0437dbc127b3b4fa8657c76732c479ec5db437de
remove HOLCF from build script, since it no longer works

diff -r 0437dbc127b3 -r ed7a4eadb2f6 build
--- a/build	Sat Nov 27 16:08:10 2010 -0800
+++ b/build	Sat Nov 27 17:14:29 2010 -0800
@@ -12,7 +12,7 @@
 
 ## global settings
 
-ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
+ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP LCF Sequents"
 
 
 ## settings