From 6acb8e96739df11859d3bca8a9e67bdaff5600c6 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Wed, 13 Jun 2012 20:32:52 +0000
Subject: [PATCH] Fixed whitespace warning on Makefile.

---
 src/prop/Makefile.am | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am
index 730df70aa..5e6b18c19 100644
--- a/src/prop/Makefile.am
+++ b/src/prop/Makefile.am
@@ -16,11 +16,11 @@ libprop_la_SOURCES = \
 	cnf_stream.h \
 	cnf_stream.cpp \
 	sat_solver.h \
-	sat_solver_types.h \	
+	sat_solver_types.h \
 	sat_solver_factory.h \
 	sat_solver_factory.cpp \
 	sat_solver_registry.h \
 	sat_solver_registry.cpp
-	
+
 SUBDIRS = minisat bvminisat
 
-- 
2.30.2