Commit b485c05d authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Do not Print Visibility in Congress.v

parent 9dc372f8
Pipeline #10662 passed with stage
in 1 minute and 37 seconds
......@@ -10,8 +10,6 @@ From RecordUpdate Require Import RecordUpdate.
Import ListNotations.
Import RecordSetNotations.
Print Visibility.
Definition TxOut := nat.
Definition ProposalId := nat.
Definition Chain := nat.
......
Supports Markdown
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