Commit cdb5d093 authored by Heiko Becker's avatar Heiko Becker

Fix stupid typo

parent 5d57e590
Require Import Flover.CertificateChecker Flover.floverParser.
Require Import Coq.extraction.ExtrOcamlString Coq.extraction.ExtrOcamlBasic Coq.extraction.ExtrOcamlNatBigInt Coq.extraction.ExtrOcamlZBigInt.
Extraction Language OCaml.
Extraction Language Ocaml.
Extraction "./binary/CoqChecker.ml" runChecker.
\ No newline at end of file
Markdown is supported
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