diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:32:52 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-06-13 20:32:52 +0000 |
| commit | 6acb8e96739df11859d3bca8a9e67bdaff5600c6 (patch) | |
| tree | 06d87d906f39457455e97244c1215a99714dbac3 /src/prop/Makefile.am | |
| parent | ece4131f2778bd3d2e5a1acbdf0f3a4054dfd1a6 (diff) | |
Fixed whitespace warning on Makefile.
Diffstat (limited to 'src/prop/Makefile.am')
| -rw-r--r-- | src/prop/Makefile.am | 4 |
1 files 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 |