diff options
Diffstat (limited to 'ci/compile-tests/002-require-no-dependencies/c.v')
| -rw-r--r-- | ci/compile-tests/002-require-no-dependencies/c.v | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ci/compile-tests/002-require-no-dependencies/c.v b/ci/compile-tests/002-require-no-dependencies/c.v new file mode 100644 index 00000000..8619c90b --- /dev/null +++ b/ci/compile-tests/002-require-no-dependencies/c.v @@ -0,0 +1,15 @@ +(* This file is part of Proof General. + * + * © Copyright 2020 Hendrik Tews + * + * Authors: Hendrik Tews + * Maintainer: Hendrik Tews <hendrik@askra.de> + * + * License: GPL (GNU GENERAL PUBLIC LICENSE) + * + * + * This file is part of an automatic test case for parallel background + * compilation in coq-par-compile.el. See test.el in this directory. + *) + +Definition c : nat := 0. |