diff --git a/Bool.html b/Bool.html index a2b3a573f..7f769b7aa 100644 --- a/Bool.html +++ b/Bool.html @@ -977,7 +977,7 @@