From 027d650400c1e5e6d0b942ccb42783ee7b5e9060 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 10 Dec 2013 23:16:27 -0500
Subject: [PATCH] Whitespace.

---
 src/smt/smt_engine.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 1b50f71ca..88cefbdc2 100644
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -861,7 +861,6 @@ SmtEngine::~SmtEngine() throw() {
 
     d_definedFunctions->deleteSelf();
 
-
     delete d_theoryEngine;
     delete d_propEngine;
     delete d_decisionEngine;
-- 
2.30.2