From bc0a71056c24b29c8289395ee01740bb2ef7ad8d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 18 Nov 2019 17:40:51 +0100
Subject: [test suite] infrastructure to test how some statements are printed

---
 mathcomp/test_suite/output.v | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 mathcomp/test_suite/output.v

(limited to 'mathcomp/test_suite/output.v')

diff --git a/mathcomp/test_suite/output.v b/mathcomp/test_suite/output.v
new file mode 100644
index 0000000..706f15d
--- /dev/null
+++ b/mathcomp/test_suite/output.v
@@ -0,0 +1,4 @@
+From mathcomp Require Import all.
+
+Open Scope group_scope.
+About cyclic_pgroup_Aut_structure.
\ No newline at end of file
-- 
cgit v1.2.3