Commit 18a2f806 authored by Cyril SIX's avatar Cyril SIX
Browse files

Fix "undefined lexer token" in extraction/extraction.v

parent e462d416
......@@ -278,7 +278,7 @@ latexdoc:
# (currently: export extra Coq-functions for OCaml code, depending on the target)
extraction/extraction.v: Makefile extraction/extraction.vexpand
(echo "(* WARNING: this file is generated from extraction.vexpand *)"; \
echo "(* by the Makefile -- target \"extraction/extraction.v\" *)\n"; \
echo "(* by the Makefile -- target \"extraction/extraction.v\" *)"; \
cat extraction/extraction.vexpand; \
echo "$(EXTRA_EXTRACTION)"; \
echo ".") > extraction/extraction.v
......
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