From 8677f50de8515bd83221e6a3d79b0f3d6dae4cbf Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 18 Feb 2015 12:52:54 +0100
Subject: Removed some style issues.

---
 arm/TargetPrinter.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'arm')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 73cdeae0..079d78ff 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -37,7 +37,7 @@ module type PRINTER_OPTIONS =
 (* Module containing the printing functions *)
 
 module Target (Opt: PRINTER_OPTIONS) : TARGET =
-  (struct
+  struct
 (* Code generation options. *)
     
     let literals_in_code = ref true     (* to be turned into a proper option *)
@@ -1119,7 +1119,7 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
 
     let print_epilogue oc = ()
         
-  end)
+  end
 
 let sel_target () = 
   let module S : PRINTER_OPTIONS = struct
-- 
cgit