diff options
Diffstat (limited to 'test/builtins')
| -rw-r--r-- | test/builtins/test_extras.lem | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/test/builtins/test_extras.lem b/test/builtins/test_extras.lem index 136f680e..ae3ed1ba 100644 --- a/test/builtins/test_extras.lem +++ b/test/builtins/test_extras.lem @@ -17,6 +17,3 @@ let undefined_bitvector len = return (zeros(len)) val undefined_unit : forall 'rv 'e. unit -> monad 'rv unit 'e let undefined_unit () = return () - -val internal_pick : forall 'rv 'a 'e. list 'a -> monad 'rv 'a 'e -let internal_pick xs = return (List_extra.head xs) |