Skip to content
GitLab
Explore
Sign in
concordium
smart-contract-interactions
Repository
smart-contract-interactions
src
OakTypes.v
Find file
Blame
History
Permalink
Revert "Fix interp_with_ordering for older Coq versions"
· 9e242ac2
Jakob Botsch Nielsen
authored
Feb 28, 2019
This reverts commit
eda9cff7
. Let's just give up on Coq 8.6.
9e242ac2