summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-05-28 14:55:36 -0400
committerOri Bernstein <ori@eigenstate.org>2013-05-28 14:55:36 -0400
commit14666cb48fd10343edb7e5542c3ae0eb8825fff1 (patch)
treedb8deaa9708e7b9e81f7caad72293938023e2e1e
parentb0a47993a1361f133ca52302eae06b223c36c2ca (diff)
downloadmc-14666cb48fd10343edb7e5542c3ae0eb8825fff1.tar.gz
Add 'sleq' function to libstd
-rw-r--r--libstd/sleq.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/libstd/sleq.myr b/libstd/sleq.myr
index 8ad881d..cfc60b4 100644
--- a/libstd/sleq.myr
+++ b/libstd/sleq.myr
@@ -2,7 +2,7 @@ pkg std =
generic sleq : (a : @a[:], b : @a[:] -> bool)
;;
-generic sleq = {
+generic sleq = {a, b
var i
if a.len != b.len