Commit 70965e72 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen

Remove some unused leftover code

parent 478221dd
Pipeline #12080 passed with stage
in 5 minutes and 10 seconds
......@@ -368,9 +368,6 @@ Proof.
end; simpl in *; intuition.
Qed.
Axiom b : False.
Notation todo := (False_rect _ b).
(* Adds a block to the chain by executing the specified chain actions.
Returns the new chain if the execution succeeded (for instance,
transactions need enough funds, contracts should not reject, etc. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment