diff options
| -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 |