From 3efec9dd607356c7b914d8eac8083d2e32acb228 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 28 Apr 2010 12:40:39 +0000
Subject: [PATCH] Removing an .o file accidently checked in.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@734 e59a4935-1847-0410-ae03-e826735625c1
---
 src/sat/cryptominisat2/SmallPtr.o | Bin 1083 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 src/sat/cryptominisat2/SmallPtr.o

diff --git a/src/sat/cryptominisat2/SmallPtr.o b/src/sat/cryptominisat2/SmallPtr.o
deleted file mode 100644
index 7bcff5ca55bdbc0a44006de501e9c0d4eea57d0f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 1083
zcmbVL%}&BV5FRL^Tuiu;c&R5L$_Dv~z`@jDB}64A=*3If;zo@Wn(iL-<U{y!K88Ml
z?v@?fZhCS<`~A#(yUPUL-K&dYp#ZoFa0-b+7vM9Y;Kba43Y2quQ>_5w(P(Jb&zb*B
zS9X_lNxL~{#H3@lTgNT=>D%=%Vi8+1%2@+|@V7uvU!sUM_=HTbR{`XK3JS#M9LQoF
z1Z*X})mktzp58UNpo^Ex75*dkWJt}SY=j*{qbwoOxGz!VEyH)T-Z6YrAIQ4$%=}#E
zY>fz}K9U7>ehV8k&NX%nU-hbm*h}%apkE(pk>Z#`t15|kcU8l@i;Wu1ywXLZN6DJr
z6n~FuM%(hi`PEdDTow7`o&TlH%eX6fndc{!EK_|Y`2NYd8)f}XFI%;8zlpkE-VK$%
zmEAxqOP*}5U1?NP`{NuAV?Wv7#^5ZV%jJ!T$RZ5EyPuw1Po|UE+3kRbBJzCs5A1oI
PJ#sg{*jGg_prH%D`B+IF

-- 
2.47.3