1 files changed, 0 insertions, 0 deletions

diff --git a/coq/test8.v b/etc/coq/utf8-sample.v
index caa82a0e..caa82a0e 100644
--- a/coq/test8.v
+++ b/etc/coq/utf8-sample.v