Java datatype API fixups, datatype API examples

2 files changed, 2 insertions, 2 deletions

diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h
index 477eeeb99..d555ca529 100644
--- a/src/proof/sat_proof.h
+++ b/src/proof/sat_proof.h
@@ -253,7 +253,7 @@ public:
   virtual void printResolutions(std::ostream& out, std::ostream& paren) = 0;
 };/* class SatProof */
 
-class LFSCSatProof: public SatProof {
+class LFSCSatProof : public SatProof {
 private:
   void printResolution(ClauseId id, std::ostream& out, std::ostream& paren);
 public:
diff --git a/src/proof/theory_proof.h b/src/proof/theory_proof.h
index 739299b7d..0a7772a4b 100644
--- a/src/proof/theory_proof.h
+++ b/src/proof/theory_proof.h
@@ -44,7 +44,7 @@ namespace CVC4 {
     void addDeclaration(Expr atom);
   };
 
-  class LFSCTheoryProof: public TheoryProof {
+  class LFSCTheoryProof : public TheoryProof {
     void printDeclarations(std::ostream& os, std::ostream& paren);
   public:
     static void printTerm(Expr term, std::ostream& os);