diff options
Diffstat (limited to 'aarch64/aarch64_extras.lem')
| -rw-r--r-- | aarch64/aarch64_extras.lem | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/aarch64/aarch64_extras.lem b/aarch64/aarch64_extras.lem index a8bc6431..d22ece00 100644 --- a/aarch64/aarch64_extras.lem +++ b/aarch64/aarch64_extras.lem @@ -58,8 +58,6 @@ let hex_slice v len lo = | Nothing -> Fail "hex_slice" end -let internal_pick vs = return (head vs) - (* Use constants for undefined values for now *) let undefined_string () = return "" let undefined_unit () = return () |