From 4ca734528e91bae092675f50fd87d788331661db Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Mon, 4 Jun 2018 12:24:47 -0700
Subject: [PATCH] Formatting

---
 src/muz/spacer/spacer_util.cpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/muz/spacer/spacer_util.cpp b/src/muz/spacer/spacer_util.cpp
index 3eaeb098e..ebcbb9145 100644
--- a/src/muz/spacer/spacer_util.cpp
+++ b/src/muz/spacer/spacer_util.cpp
@@ -923,11 +923,10 @@ class implicant_picker {
   }
 
   void compute_implicant_literals (model_evaluator_util &mev, expr_ref_vector &formula,
-                                   expr_ref_vector &res)
-  {
+                                   expr_ref_vector &res) {
       // XXX what is the point of flattening?
       flatten_and (formula);
-    if (formula.empty()) { return; }
+      if (formula.empty()) { return; }
 
       implicant_picker ipick (mev);
       ipick (formula, res);