From bcc7a5f7d3a15c2e8770a530ed3fa0ec45b60725 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 31 Mar 2019 10:04:22 -0400
Subject: Fix a non-terminated comment

---
 src/Rewriter.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Rewriter.v b/src/Rewriter.v
index 99201e27d..3ca65c2bf 100644
--- a/src/Rewriter.v
+++ b/src/Rewriter.v
@@ -1297,7 +1297,7 @@ Module Compilers.
             "evaluated" in Gallina (e.g., [eager_list_rect] turns into
             [list_rect] over a concrete list of cons cells holding
             PHOAS expressions), and the result of this evaluation is
-            returned."  *)
+            returned. *)
         (* N.B. the [with_lets] argument to [reflect] doesn't matter
           here because [value' true (_ → _) ≡ value' false (_ → _)] *)
         Definition reflect_ident_iota {t} (idc : ident t) : option (value t)
-- 
cgit v1.2.3