hack recompile fiat parser

coq · Dec 14, 2020 · a1d8e0c · a1d8e0c
1 parent 0bff4bc
commit a1d8e0c
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"]