hack recompile fiat parser

coq · Dec 11, 2020 · 84a27df · 84a27df
1 parent 990b034
commit 84a27df
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam b/extra-dev/packages/coq-fiat-parsers/coq-fiat-parsers.dev/opam
@@ -14,6 +14,7 @@ depends: [
   "ocaml"
   "coq" {= "dev"}
 ]
+
 dev-repo: "git+https://github.com/mit-plv/fiat.git"
 synopsis: "Mostly automated synthesis of correct-by-construction programs."
 tags: ["logpath:Fiat"]