summaryrefslogtreecommitdiff
path: root/tests/lean/BetreeMain
diff options
context:
space:
mode:
authorZyad Hassan2024-04-24 09:28:38 -0700
committerZyad Hassan2024-04-24 09:28:38 -0700
commit97a70ecd3e70d08fae544dc11cca0fb1e06e5a66 (patch)
treedd895e17815e9b2e5ccf69c85c64345aa1293b2e /tests/lean/BetreeMain
parent9b281e021b3b2dbfa6ff265cc843e0aac3b400ac (diff)
Update tests
Diffstat (limited to '')
-rw-r--r--tests/lean/BetreeMain/FunsExternal_Template.lean6
1 files changed, 0 insertions, 6 deletions
diff --git a/tests/lean/BetreeMain/FunsExternal_Template.lean b/tests/lean/BetreeMain/FunsExternal_Template.lean
index 0b3e4ef4..0dcce5ca 100644
--- a/tests/lean/BetreeMain/FunsExternal_Template.lean
+++ b/tests/lean/BetreeMain/FunsExternal_Template.lean
@@ -28,9 +28,3 @@ axiom betree_utils.load_leaf_node
axiom betree_utils.store_leaf_node
: U64 → betree.List (U64 × U64) → State → Result (State × Unit)
-/- [core::option::{core::option::Option<T>}::unwrap]:
- Source: '/rustc/d59363ad0b6391b7fc5bbb02c9ccf9300eef3753/library/core/src/option.rs', lines 932:4-932:34
- Name pattern: core::option::{core::option::Option<@T>}::unwrap -/
-axiom core.option.Option.unwrap
- (T : Type) : Option T → State → Result (State × T)
-