From 913f865fbdf6f2b69038ba6a4bb9416e2b4056d6 Mon Sep 17 00:00:00 2001
From: Johann150 <johann.galle@protonmail.com>
Date: Sat, 10 Jun 2023 16:22:34 +0200
Subject: [PATCH] drop CSV header

---
 src/bahnhofname.gleam | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bahnhofname.gleam b/src/bahnhofname.gleam
index 708aca6..d331b64 100644
--- a/src/bahnhofname.gleam
+++ b/src/bahnhofname.gleam
@@ -176,6 +176,8 @@ fn read_csv() -> List(#(String, String)) {
   contents
   // the file doesn't use quotes, so this is fine
   |> string.split(on: "\n")
+  // drop CSV header
+  |> list.drop(1)
   |> list.map(fn(a) { string.split(a, on: ";") })
   |> list.filter_map(fn(fields) {
     case fields {