From 85601c5a836299f33af5d58b37be0e5b8583115e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 20 Nov 2015 16:46:28 -0800
Subject: [PATCH] chore(library/blast/congruence_closure): fix style

---
 src/library/blast/congruence_closure.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/blast/congruence_closure.h b/src/library/blast/congruence_closure.h
index 2ab467c7c..55c0b8019 100644
--- a/src/library/blast/congruence_closure.h
+++ b/src/library/blast/congruence_closure.h
@@ -45,7 +45,6 @@ class congruence_closure {
         optional<expr> m_proof;
         bool           m_flipped;     // proof has been flipped
         unsigned       m_size;        // number of elements in the equivalence class, it is meaningless if 'e' != m_root
-
     };
 
     /* Key (R, e) for the mapping (R, e) -> entry */