fixes for "make dist" and "make doc", minor cleanups

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/datatypes/explanation_manager.cpp b/src/theory/datatypes/explanation_manager.cpp
index 06f7bb29e..10ee9bf64 100644
--- a/src/theory/datatypes/explanation_manager.cpp
+++ b/src/theory/datatypes/explanation_manager.cpp
@@ -1,11 +1,11 @@
-#include "theory/datatypes/explanation_manager.h"

-

+#include "theory/datatypes/explanation_manager.h"
+
 using namespace std;
 using namespace CVC4;
 using namespace CVC4::kind;
 using namespace CVC4::context;
 using namespace CVC4::theory;
-using namespace CVC4::theory::datatypes;

+using namespace CVC4::theory::datatypes;
 
 void ProofManager::setExplanation( Node n, Node jn, unsigned r ) 
 {