diff options
author | Son Ho | 2021-11-23 09:27:30 +0100 |
---|---|---|
committer | Son Ho | 2021-11-23 09:27:30 +0100 |
commit | 7ff59a3ff5daae9e88e9ff15f8a3452536c94628 (patch) | |
tree | 8bb7f1fbe92acd4a8aeb54cb481864d8428f810f /src/Identifiers.ml | |
parent | 1a9c6c77cf9d4de6cd261125917eec2bd658d76c (diff) |
Change the way exceptions are used
Diffstat (limited to 'src/Identifiers.ml')
-rw-r--r-- | src/Identifiers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index dbe2ae83..e75099d6 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -69,7 +69,7 @@ module IdGen () : Id = struct let rec update_nth vec id v = match (vec, id) with - | [], _ -> unreachable __LOC__ + | [], _ -> failwith "Unreachable" | _ :: vec', 0 -> v :: vec' | x :: vec', _ -> x :: update_nth vec' (id - 1) v |