]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
minor edit
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:55:56 +0000 (17:55 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:55:56 +0000 (17:55 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@361 e59a4935-1847-0410-ae03-e826735625c1

scripts/Makefile.common

index 1a25311c3630649ea868a6b08b277d305bbc086c..b59796e8fb5cf6fcd0b599391620eec296f3607e 100644 (file)
@@ -18,7 +18,6 @@ CRYPTOMINISAT = true
 #CFLAGS_M32   = -m32
 SHELL=/bin/bash
 
-
 # You can compile using make STATIC=true to compile a statically
 # linked executable Note that you should execute liblinks.sh first.
 #STATIC=true