diff options
| author | Alasdair Armstrong | 2019-12-06 16:08:08 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-12-06 16:42:51 +0000 |
| commit | d66f510ba6ab9e453c8410fb7a1cab570dd17236 (patch) | |
| tree | 6c6b5e7b940da44fa508ff62a035e6f6c02724d2 /language | |
| parent | 4d3c99561eed6016d5f85502ab188be6a80a27c2 (diff) | |
Don't introduce uneccesary control flow when compiling
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/language/jib.ott b/language/jib.ott index eaa6e643..d5c7f571 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -67,7 +67,6 @@ op :: '' ::= | and :: :: band | hd :: :: list_hd | tl :: :: list_tl - | bit_to_bool :: :: bit_to_bool | eq :: :: eq | neq :: :: neq % Integer ops |