From 9fefd07d88f656927b8c3cae681b0c0b1a5bdfdc Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 24 Jun 2021 08:34:01 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
theories/pretty.v | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/theories/pretty.v b/theories/pretty.v
index 24664acc..f5ea9a33 100644
--- a/theories/pretty.v
+++ b/theories/pretty.v
@@ -22,7 +22,7 @@ Fixpoint pretty_N_go_help (x : N) (acc : Acc (<)%N x) (s : string) : string :=
(String (pretty_N_char (x `mod` 10)) s)
| right _ => s
end.
-(* The argument [S (N.size_nat x)] of [wf_guard] makes sure that computation
+(** The argument [S (N.size_nat x)] of [wf_guard] makes sure that computation
works if [x] is a closed term, but that it blocks if [x] is an open term. The
latter prevents unexpected stack overflows, see [tests/pretty.v]. *)
Definition pretty_N_go (x : N) : string → string :=
--
GitLab