diff options
| author | Gerd Stolpmann <gerd@gerd-stolpmann.de> | 2015-09-26 18:13:46 +0200 |
|---|---|---|
| committer | Gerd Stolpmann <gerd@gerd-stolpmann.de> | 2015-09-26 18:13:46 +0200 |
| commit | ff47571d99bcf49eb274ccc25f70a98b08fd0367 (patch) | |
| tree | c00af1a8377b5d754de63f9af201944f31718a64 | |
| parent | 1156d51752fd64a3d833f60773dc4bfd7c82d614 (diff) | |
| download | ocaml-ios-support.tar.gz | |
enhanced commentios-support
| -rw-r--r-- | asmcomp/arm/arch.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index 3eca1a5703..e573a3ff4e 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -45,7 +45,7 @@ let string_of_fpu = function (* Machine-specific command-line options *) let (arch, fpu, thumb, supp_pic, supp_pie) = - (* NB. We'll use polymorphic comparison on arch, e.g. arch < ARMv6, here + (* NB. We'll use polymorphic comparison on arch/fpu, e.g. arch < ARMv6, here and there *) let (def_arch, def_fpu, def_thumb, supp_pic, supp_pie) = begin match abi, Config.model with |