diff options
| -rw-r--r-- | frontend/convertcases.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl index 25e2f49..f321f55 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -1945,7 +1945,7 @@ where */ (-*->) infixl -(-*->) a b :== a ---> b +(-*->) a b :== a // ---> b (->>) infixl (->>) a b :== a // ---> b (<<-) infixl |