From b0ffa7f185b9af838afd4748d15aa77784f544af Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Tue, 12 Nov 2024 18:45:08 +0200
Subject: [PATCH] Remove unneeded identifier

---
 ulm-semantics/main/preprocessing/endpoints.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ulm-semantics/main/preprocessing/endpoints.md b/ulm-semantics/main/preprocessing/endpoints.md
index 26eff0a7..e4326892 100644
--- a/ulm-semantics/main/preprocessing/endpoints.md
+++ b/ulm-semantics/main/preprocessing/endpoints.md
@@ -179,7 +179,6 @@ module ULM-PREPROCESSING-ENDPOINTS
                         | "decode_signature"  [token]
                         | "empty"  [token]
                         | "equals"  [token]
-                        | "head_length"  [token]
                         | "ulm"  [token]
                         | "ulmWrap##init"  [token]
                         | "CallData"  [token]