Remove unneeded identifier

Pi-Squared-Inc · Nov 12, 2024 · b0ffa7f · b0ffa7f
1 parent c9a02b4
commit b0ffa7f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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]