Fixing linting.

idris-community · Jan 5, 2025 · e8b58be · e8b58be
1 parent b05ce5a
commit e8b58be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Data/BoundedQueue.idr b/src/Data/BoundedQueue.idr
@@ -84,7 +84,7 @@ enqueue (Q (F [] flimit fsize) (B back blimit bsize))            v =
   case blimit == bsize of
     True  =>
       case toList back of
-        (h::t) => 
+        (h::t) =>
           Just $
             Q (F t (length t) (length t))
               (B (Lin :< v) 1 1)