Documentation fixes, some code typo fixes, file perms, other minor things.

1 files changed, 2 insertions, 3 deletions

diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h
index 37e471846..ec49b5f71 100644
--- a/src/prop/minisat/minisat.h
+++ b/src/prop/minisat/minisat.h
@@ -30,16 +30,15 @@ class MinisatSatSolver : public DPLLSatSolverInterface {
   /** The SatSolver used */
   Minisat::SimpSolver* d_minisat;
 
-
   /** The SatSolver uses this to communicate with the theories */
   TheoryProxy* d_theoryProxy;
 
-  /** Context we will be using to synchronzie the sat solver */
+  /** Context we will be using to synchronize the sat solver */
   context::Context* d_context;
 
 public:
 
-  MinisatSatSolver ();
+  MinisatSatSolver();
   ~MinisatSatSolver();
 
   static SatVariable     toSatVariable(Minisat::Var var);