From 4c485d1898156f6526a9a57b843086f6f239c8cb Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Wed, 23 Sep 2020 00:39:01 -0700
Subject: [PATCH] Add test for #838.

---
 tests/issues/issue838.icry        | 7 +++++++
 tests/issues/issue838.icry.stdout | 1 +
 2 files changed, 8 insertions(+)
 create mode 100644 tests/issues/issue838.icry
 create mode 100644 tests/issues/issue838.icry.stdout

diff --git a/tests/issues/issue838.icry b/tests/issues/issue838.icry
new file mode 100644
index 000000000..319dafde3
--- /dev/null
+++ b/tests/issues/issue838.icry
@@ -0,0 +1,7 @@
+// comment
+/* comment */
+/* multi-  \
+ * line    \
+ * block   \
+ * comment \
+ */
diff --git a/tests/issues/issue838.icry.stdout b/tests/issues/issue838.icry.stdout
new file mode 100644
index 000000000..e773bc782
--- /dev/null
+++ b/tests/issues/issue838.icry.stdout
@@ -0,0 +1 @@
+Loading module Cryptol