diff options
Diffstat (limited to 'language/jib.ott')
| -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 |