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

Fix compiler errors

parent 78f57eb1
Pipeline #10559 failed with stage
in 2 minutes and 44 seconds
......@@ -6,7 +6,7 @@ Require Import ZArith.
Require Import
Coq.FSets.FMapList
Coq.Structures.OrderedTypeEx.
Require Import RecordSet.
Require Import RecordUpdate.RecordSet.
Import ApplicativeNotations.
Import RecordSetNotations.
......@@ -62,9 +62,6 @@ Instance etaState : Settable _ :=
<*> nextProposalId
<*> members)%set.
Definition withNewOwner (newOwner : Address) (state : State) : State :=
state [owner := newOwner].
Definition version : Version := 1.
Definition validateRules (rules : Rules) : bool :=
......
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