From 18a2f80686c651dde5964098c8b76e5aa94e6340 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 26 Jan 2021 14:03:14 +0100 Subject: Fix "undefined lexer token" in extraction/extraction.v --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index de9da384..aabd01a4 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit