diff options
Diffstat (limited to 'check/type/bool/fail-real.p')
| -rw-r--r-- | check/type/bool/fail-real.p | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/check/type/bool/fail-real.p b/check/type/bool/fail-real.p new file mode 100644 index 0000000..7c7d00d --- /dev/null +++ b/check/type/bool/fail-real.p @@ -0,0 +1,4 @@ +program main ( input, output ); +begin + 1.1 <> 1 +end. |