summaryrefslogtreecommitdiff
path: root/lib/std/search.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-01-23 03:15:40 -0800
committerOri Bernstein <ori@eigenstate.org>2016-01-23 03:15:40 -0800
commita87c06a2b53bbaae033b37327c7e3db0495f23e4 (patch)
treebafcf0b1403ca6a8ea30a9884004dbf6fdd3b74f /lib/std/search.myr
parent6d5d0ec7ee3480347255a9f469c26c8c34b2819a (diff)
downloadmc-a87c06a2b53bbaae033b37327c7e3db0495f23e4.tar.gz
Move away from ".use" suffix.
Diffstat (limited to 'lib/std/search.myr')
-rw-r--r--lib/std/search.myr4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/std/search.myr b/lib/std/search.myr
index fa2ae40..3bf93fc 100644
--- a/lib/std/search.myr
+++ b/lib/std/search.myr
@@ -1,5 +1,5 @@
-use "cmp.use"
-use "option.use"
+use "cmp"
+use "option"
pkg std =
generic lsearch : (sl : @t[:], val : @t, cmp : (a : @t, b : @t -> order) -> option(@idx::(integral,numeric)))