diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-18 12:52:54 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-02-18 12:52:54 +0100 |
commit | 8677f50de8515bd83221e6a3d79b0f3d6dae4cbf (patch) | |
tree | 6c4b3d7bd0519e4aa507c9b42bcbba2e0e1dc443 /arm/TargetPrinter.ml | |
parent | a3c0094508f9f4985de4509380dada5f5c85e115 (diff) | |
download | compcert-kvx-8677f50de8515bd83221e6a3d79b0f3d6dae4cbf.tar.gz compcert-kvx-8677f50de8515bd83221e6a3d79b0f3d6dae4cbf.zip |
Removed some style issues.
Diffstat (limited to 'arm/TargetPrinter.ml')
-rw-r--r-- | arm/TargetPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |