Skip to content
GitLab
Commit 4ff6fa50 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Tiny cleanup

parent 09da8b1b
Hide whitespace changes
Inline Side-by-side
theories/Congress.v
View file @ 4ff6fa50
...@@ -76,7 +76,7 @@ Instance state_settable : Settable _ := ...@@ -76,7 +76,7 @@ Instance state_settable : Settable _ :=
Section Equivalences. Section Equivalences.
Definition deserialize_rules (v : OakValue) : option Rules := Definition deserialize_rules (v : OakValue) : option Rules :=
do '((a, b), c) <- deserialize v; do '(a, b, c) <- deserialize v;
Some (build_rules a b c). Some (build_rules a b c).
Global Program Instance rules_equivalence : OakTypeEquivalence Rules := Global Program Instance rules_equivalence : OakTypeEquivalence Rules :=
......
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