From 4e6129afb9aab53d14f16ac74a5a4e80323b5813 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Sat, 27 Oct 2018 18:08:53 +0200
Subject: formatting

---
 src/smtlib2/smtlib2_genConstr.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/smtlib2/smtlib2_genConstr.ml')

diff --git a/src/smtlib2/smtlib2_genConstr.ml b/src/smtlib2/smtlib2_genConstr.ml
index ea5a42a..b320d7a 100644
--- a/src/smtlib2/smtlib2_genConstr.ml
+++ b/src/smtlib2/smtlib2_genConstr.ml
@@ -20,7 +20,6 @@ open SmtForm
 open SmtMisc
 open CoqTerms
 
-
 (* For debugging *)
 
 let pp_symbol s =
@@ -213,9 +212,8 @@ let make_root ra rf t =
 
   and make_root t =
     match make_root_term t with
-      | Atom h -> Form.get rf (Fatom h)
-      | Form f -> f in
-
+    | Atom h -> Form.get rf (Fatom h)
+    | Form f -> f in
   make_root t
 
 
-- 
cgit