[CI] regenerate hints + ocaml snapshot

FStarLang · Feb 19, 2020 · 116d2a0 · 116d2a0
1 parent 8aecc08
commit 116d2a0
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 26 deletions.
diff --git a/examples/semiring/CanonCommSemiring.Test.fst.hints b/examples/semiring/CanonCommSemiring.Test.fst.hints
diff --git a/examples/semiring/CanonCommSemiring.fst.hints b/examples/semiring/CanonCommSemiring.fst.hints