diff options
Diffstat (limited to 'ports/sysdeps/tile/Implies')
| -rw-r--r-- | ports/sysdeps/tile/Implies | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ports/sysdeps/tile/Implies b/ports/sysdeps/tile/Implies index 5b29b26128..da1a8b0210 100644 --- a/ports/sysdeps/tile/Implies +++ b/ports/sysdeps/tile/Implies @@ -1,2 +1,2 @@ -ieee754/dbl-64 -ieee754/flt-32 +echo ieee754/dbl-64 +echo ieee754/flt-32 |