oops

verus-lang · Jul 24, 2023 · 407b6ed · 407b6ed
1 parent 7053d4c
commit 407b6ed
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/source/pervasive/relations.rs b/source/pervasive/relations.rs
@@ -135,10 +135,4 @@ verus! {
             } ;
         }
     }
-
-    pub open spec fn merge_sort_by<A>(s: Seq<A>, leq: FnSpec(A,A) -> bool) -> Seq<A>
-    {
-        s
-    }
-
 }