From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Dec 2013 04:16:27 +0000 (-0500)
Subject: Whitespace.
X-Git-Tag: cvc5-1.0.0~7187
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=811202ddd6851e61c71aa4db92a2231986aa99ff;p=cvc5.git

Whitespace.
---

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;