diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-01-26 14:03:14 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-01-26 14:03:14 +0100 |
| commit | 18a2f80686c651dde5964098c8b76e5aa94e6340 (patch) | |
| tree | 42e1ceba0b2da92e165f55dad83fc6bd0fabe2cd /Makefile | |
| parent | e462d41601f1da9b9ee8897ce1736bd75729e2a1 (diff) | |
| download | compcert-kvx-18a2f80686c651dde5964098c8b76e5aa94e6340.tar.gz compcert-kvx-18a2f80686c651dde5964098c8b76e5aa94e6340.zip | |
Fix "undefined lexer token" in extraction/extraction.v
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |