diff options
Diffstat (limited to 'src/Core')
| -rw-r--r-- | src/Core/Name.idr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Core/Name.idr b/src/Core/Name.idr index ae669b8..a9ffebb 100644 --- a/src/Core/Name.idr +++ b/src/Core/Name.idr @@ -8,10 +8,10 @@ import Data.Stream import Decidable.Equality -import public Text.Bounded +import Text.Bounded import Text.PrettyPrint.Prettyprinter -infix 4 ~~ +infixl 0 ~~ -- Definitions ----------------------------------------------------------------- |