diff options
| author | Hendrik Tews | 2020-12-05 22:27:47 +0100 |
|---|---|---|
| committer | hendriktews | 2020-12-19 16:43:49 +0100 |
| commit | 16e784a63f2a38ce3f03e36b6fa9a7db2da211b9 (patch) | |
| tree | 40c0e559f5f0bab2729fb30f1536d43e6b63a064 /ci/compile-tests/005-change-recompile/e.v.orig | |
| parent | 163ff8d20276be0e932474cdd6cb2c3086c5be9c (diff) | |
add test for recompilation with changes
Diffstat (limited to 'ci/compile-tests/005-change-recompile/e.v.orig')
| -rw-r--r-- | ci/compile-tests/005-change-recompile/e.v.orig | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/ci/compile-tests/005-change-recompile/e.v.orig b/ci/compile-tests/005-change-recompile/e.v.orig new file mode 100644 index 00000000..dcef3a6e --- /dev/null +++ b/ci/compile-tests/005-change-recompile/e.v.orig @@ -0,0 +1,17 @@ +(* 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. + *) + +Require Export h. + +Definition e : nat := 5. |