1 files changed, 9 insertions, 0 deletions
diff --git a/etc/coq/parsing.v b/etc/coq/parsing.v
new file mode 100644
index 00000000..5858922d
--- /dev/null
+++ b/etc/coq/parsing.v
@@ -0,0 +1,9 @@
+(* Here's a test of a 
+
+  (* nested comment:
+	Since Coq has them, PG ought to be able to deal
+        with them.
+   *)
+*)
+
+Require Logic.
+\ No newline at end of file